Доказательства от Аксиомы

Question

Учитывая аксиомы

• Генри владеет велосипедом
• Каждого владелец велосипеда любит гоночный
• Нет один, кто любит гонка покупает скутер.
• Либо Генри или Боб купил скутер, который называется Билл

ли Боб купить скутер?

Это вопрос домашней работы; это кажется почти слишком легким, поэтому я просто хочу проверить, чтобы моя логика была правильной.

Поскольку Генри или Боб купили скутер, а так как Генри владеет велосипедом и поэтому любит участвовать в гонках и, следовательно, не может купить скутер, то, возможно, Боб был тем, кто купил скутер.

Правильно ли я в своей логике и ответе?

Answer 1

Легенда:

Owns a bike === A 
Loves racing === B 
Buys a skooter === C 

Rephrase логические условия:

Henry is A 
A => B 
B => Not(C) 
Henry or Bob is C 

Расчеты:

Henry is A => Henry is B => Henry is Not(C) => Bob is C 
Meaning: Bob bought a skooter 

Так что да - вы правы. Если вам кажется, что это просто, вы можете просто понять инструменты, которые вы должны использовать, чтобы подготовить вас к более сложным проблемам.