Mathematical Logic And Boolean Algebra Question 117

Question: The propositions $ (p\Rightarrow \tilde{\ }p)\wedge (\tilde{\ }p\Rightarrow p) $ is a

Options:

A) Tautology and contradiction

B) Neither tautology nor contradiction

C) Contradiction

D) Tautology

Show Answer

Answer:

Correct Answer: C

Solution:

[c] $ p $ $ \tilde{\ }q $ $ p\Rightarrow \tilde{\ }p $ $ \tilde{\ }p\Rightarrow 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.