OMTEX CLASSES: Prove that the following statement pattern is a contradiction. (p ∧ q) ∧ ~p

Prove that the following statement pattern is a contradiction. (p ∧ q) ∧ ~p

EXERCISE 1.6Q 4.2 PAGE 16

Exercise 1.6 | Q 4.2 | Page 16

Prove that the following statement pattern is a contradiction.

(p ∧ q) ∧ ~p

SOLUTION

p	q	~p	p∧q	(p∧q)∧~p
T	T	F	T	F
T	F	F	F	F
F	T	T	F	F
F	F	T	F	F

All the truth values in the last column are F. Hence, it is a contradiction.