MCQ
If P implies Q, and not Q, then:
Analytical Reasoning
A P is true
B P is false
C Q is true
D Both P and Q are true
Explanation

By modus tollens, if P→Q and ¬Q, then ¬P.