Mathematical Logic And Boolean Algebra Question 158
Question: The propositions $ (p\Rightarrow \ \tilde{\ }p)\wedge (\tilde{\ }p\Rightarrow p) $ is a
[Karnataka CET 1997]
Options:
A) Tautology and contradiction
B) Neither tautology nor contradiction
C) Contradiction
D) Tautology
Show Answer
Answer:
Correct Answer: C
Solution:
p p p
Þp ~p
Þ p $ (p\Rightarrow \ \tilde{\ }p)\wedge (\tilde{\ }p\Rightarrow p) $
T F F T F
F T T F F
Clearly, $ (p\Rightarrow \ \tilde{\ }p)\wedge (\tilde{\ }p\Rightarrow p) $ is a contradiction.