3
$\begingroup$

Explain why the following are true for arbitrary statements P and Q: If P is a tautology then (P or Q) ≡ P

1 Answers 1