Question 1
Given these logical premises:
• The light is either on or off
• If the light is on, the switch is up
• The switch is not up
Which statement must be true?
This requires multi-step logical deduction:
• The light is either on or off
• If the light is on, the switch is up
• The switch is not up
Applying logical rules (modus ponens, modus tollens, contrapositive, transitive property, quantifier logic), we can conclude: The light is off
• The light is either on or off
• If the light is on, the switch is up
• The switch is not up
Applying logical rules (modus ponens, modus tollens, contrapositive, transitive property, quantifier logic), we can conclude: The light is off