Question 1
Given these logical premises:
• If P, then Q
• If Q, then R
• If R, then S
• Not S
Which statement must be true?
This requires multi-step logical deduction:
• If P, then Q
• If Q, then R
• If R, then S
• Not S
Applying logical rules (modus ponens, modus tollens, contrapositive, transitive property, quantifier logic), we can conclude: Not P
• If P, then Q
• If Q, then R
• If R, then S
• Not S
Applying logical rules (modus ponens, modus tollens, contrapositive, transitive property, quantifier logic), we can conclude: Not P