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

SOLUTION

p	q	p ∧ q	(p∧q)→q
T	T	T	T
T	F	F	T
F	T	F	T
F	F	F	T

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