Advertisements
Advertisements
प्रश्न
Examine whether the statement pattern
[p → (~ q ˅ r)] ↔ ~[p → (q → r)] is a tautology, contradiction or contingency.
तक्ता
Advertisements
उत्तर
[p → (~q ∨ r)] ↔ ~[p → (q → r)]
| p | q | r | ~q | ~q ∨ r | p → (~q ∨ r) |
q → r | p → (q →r) |
~[p → (q → r)] |
[p → (~q ∨ r)] ↔ ~[p → (q → r)] |
| T | T | T | F | T | T | T | T | F | F |
| T | T | F | F | F | F | F | F | T | F |
| T | F | T | T | T | T | T | T | F | F |
| T | F | F | T | T | T | T | T | F | F |
| F | T | T | T | T | T | T | T | F | F |
| F | T | F | F | F | T | F | T | F | F |
| F | F | T | T | T | T | T | T | F | F |
| F | F | F | T | T | T | T | T | F | F |
All the truth values in the last column are F.
Hence, it is contradiction.
shaalaa.com
या प्रश्नात किंवा उत्तरात काही त्रुटी आहे का?
