Which logical form is valid? (1) If P then Q. Not P. Therefore not Q. (2) If P then Q. Not Q. Therefore not P.

✓ Correct Answer: Option B

(1) is the fallacy of denying the antecedent. (2) is modus tollens — a valid form. If P→Q and Q is false, P must be false.