Question 1
Given these logical premises:
• Every cat is a mammal
• No mammal can fly
• Some pets are cats
• Whiskers is a cat
Which statement must be true?
This requires multi-step logical deduction:
• Every cat is a mammal
• No mammal can fly
• Some pets are cats
• Whiskers is a cat
Applying logical rules (modus ponens, modus tollens, contrapositive, transitive property, quantifier logic), we can conclude: Whiskers cannot fly
• Every cat is a mammal
• No mammal can fly
• Some pets are cats
• Whiskers is a cat
Applying logical rules (modus ponens, modus tollens, contrapositive, transitive property, quantifier logic), we can conclude: Whiskers cannot fly