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
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.
You need to login to perform this action.
You will be redirected in
3 sec
