Concept:A tautology is a compound statement that is always true for all possible truth values of its variables.
Explanation:Consider option A:
[(p→q)∧∼q]→∼p.
This statement is known as modus tollens.
Using the equivalence
p→q≡∼p∨q, the antecedent becomes
(∼p∨q)∧∼q.
If this antecedent is true, then
q is false, so
∼p must be true.
Thus, whenever the antecedent is true, the consequent
∼p is also true, making the whole implication always true.
So option A is a tautology.
Now examine the other options.
Option B is a contradiction, so it is always false.
Option C simplifies to
(p∨q)∧∼(p∨q), which is also a contradiction.
In option D, the first bracket is a tautology, so the whole expression becomes
r, which can be false.
Therefore, only option A is always true.
Answer:Option A:
[(p→q)∧∼q]→∼p