MCQ
If A implies B, and not B, then:
Analytical Reasoning
A A is true
B A is false
C B is true
D A is unknown
Explanation

By modus tollens, if A→B and ¬B, then ¬A.