Advertisement

Prove that the following statement pattern is a tautology. (p ∧ q) → q

EXERCISE 1.6Q 3.1   PAGE 16
Exercise 1.6 | Q 3.1 | Page 16

Prove that the following statement pattern is a tautology.  (p ∧ q) → q


Prove that the following statement pattern is a tautology.

(p ∧ q) → q


SOLUTION

pqp ∧ q(p∧q)→q
TTTT
TFFT
FTFT
FFFT

All the truth values in the last column are T. Hence, it is tautology.