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