Question 1
Given these logical premises:
• If A, then B
• If B, then C
• If C, then not D
• A is true
Which statement must be true?
This requires multi-step logical deduction:
• If A, then B
• If B, then C
• If C, then not D
• A is true
Applying logical rules (modus ponens, modus tollens, contrapositive, transitive property, quantifier logic), we can conclude: D is false
• If A, then B
• If B, then C
• If C, then not D
• A is true
Applying logical rules (modus ponens, modus tollens, contrapositive, transitive property, quantifier logic), we can conclude: D is false