Preuve de Axioms

Question

Étant donné les axiomes

• Henry possède un vélo
• Chaque propriétaire de la moto de course aime
• Celui qui aime la course achète un scooter.
• Soit Henry ou Bob a acheté un scooter, qui est nommé Bill

Bob Moog acheter le scooter?

Ceci est une question de devoirs; cela semble presque trop facile, alors je veux juste vérifier pour m'assurer que ma logique est correcte. Puisque Henry ou Bob ont acheté un scooter, et qu'Henry possède un vélo et aime donc la course et ne peut donc pas acheter un scooter, Bob doit avoir acheté le scooter. Est-ce que je suis correct dans ma logique et ma réponse?

Answer 1

Légende:

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

Reformuler les conditions logiques:

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

Calculs:

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

Alors oui - vous avez raison. Si cela vous semble facile, il se peut que ce soit juste pour comprendre les outils que vous devez utiliser, pour vous préparer à des problèmes plus complexes.