Mathematical Logic And Boolean Algebra Question 7

Question: The false statement in the following is

[Karnataka CET 2002]

Options:

A) $ p\wedge (\tilde{\ }p) $ is a contradiction

B) $ (p\Rightarrow q)\Leftrightarrow (\tilde{\ }q\Rightarrow \ \tilde{\ }p) $ is a contradiction

C) $ \tilde{\ }(\tilde{\ }p)\Leftrightarrow p $ is a tautology

D) $ p\vee (\tilde{\ }p) $ Û is a tautology

Show Answer

Answer:

Correct Answer: B

Solution:

$ p\Rightarrow q $ is logically equivalent to $ \tilde{\ }q\Rightarrow \ \tilde{\ }p $ \ $ (p\Rightarrow q)\Leftrightarrow (\tilde{\ }q\Rightarrow \ \tilde{\ }p) $ is a tautology but not a contradiction.