Homework SourseIs p doublesidearrow q rightarrow p logicalor q a tautology
Is (p doublesidearrow q) rightarrow (p logicalor q) a tautology? My work: p doublesidearrow q identicalto (p rightarrow q)^(q rightarrow p) Conclusion (p doublesidearrow q) rightarrow (p logicalor q) is a tautology
Solution
Yes, you have done correct work.
A tautology is basically a sentence whose truth table contains only \'T\'. and thus pq->pq is a Tautology since it contains on T.
Please comment if you have any other doubts.
| p | pq | pq | pq->pq | |
| T | T | T | T | T |
| T | F | F | T | T |
| F | T | F | T | T |
| F | F | F | F | T |
