InterviewSolution
Saved Bookmarks
InterviewSolution
| 1. |
Check whether the following propositions is a Tautology or a contradiction. (i) (p ∧ ~q) → (p ∧ q) (ii) [~p ∧ (p ∨ q)] → q (iii) (p →q) ↔ (~p →~q) (iv) [~(p →~q)] ∨ (~ p ↔ q) (v) (~p ∨ q) ↔ (p ∨~9) |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
Answer» (i) (p ∧~q) → (p∧q)
It is neither Tautology nor contradiction (ii) [~p ∧ (p ∨ q)] → q
F From last column we conclude it is a tautology (iii) (p →q) ↔ (~p →~q)
F It is neither a tautology nor contradiction (iv) [~(p →~q)] ∨ (~ p ↔ q)
It is neither tautology nor contradiction (v) (~p ∨ q) ↔ (p ∨~q)
It is neither tautology nor contradiction |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||