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.