Question

The statement $(p\to q)\to \left[\right(\sim p\to q)\to q]$ is

• A. a tautology
• B. equivalent to $\sim p\to q$
• C. equivalent to $p\to \sim q$
• D. a fallacy

Answer 1

The correct option is A

a tautology

The truth table of the given expression is given below:

$\begin{array}{ccccccc}p& q& x\equiv p\to q& \sim p& \sim p\to q& y\equiv (\sim p\to q)\to q& x\to y\\ T& T& T& F& T& T& T\\ T& F& F& F& T& F& T\\ F& T& T& T& T& T& T\\ F& F& T& T& F& T& T\end{array}$

Hence, it is a tautology.