Which one of the following forms represents 'Modus Tollens'?

A((p ⊃ q) · ~q) ⊃ ~p

B((p ⊃ q) · p) ⊃ q

C((p ⊃ q) · ~p) ⊃ ~q

D((p ∨ q) · ~p) ⊃ q

🔒 Answer hidden — practise on Mcqkart to check yourself and see the explanation.

Want more like this? Create a free account to practise a full test, track your progress, and get spaced-repetition review.