Mathematical Logic And Boolean Algebra Question 28

Question: If p and q are two statements, then $ (p\Rightarrow q)\Leftrightarrow (\tilde{\ }q\Rightarrow \tilde{\ }p) $ is a

Options:

A) contradiction

B) tautology

C) neither [a] nor [b]

D) none of the above

Show Answer

Answer:

Correct Answer: B

Solution:

[b] $ p\Rightarrow q $ $ \sim p\Rightarrow \sim q $ $ p\Rightarrow q\Leftrightarrow \sim q\Rightarrow \sim p $ T T T F F T T T T T T T Therefore, it is a tautology Hence, the given proposition is a tautology.