Introduction to Logic
Tools
for
Thought
 

Exercise 3.5 - Propositional Consistency

In each of the following cases, determine whether the given individual sentence is consistent with the given set of sentences.

a. {pq, p ∨ ¬q, ¬pq} and (¬p ∨ ¬q)
b. {pr, qr, pq} and r
c. {pr, qr, pq} and ¬r
d. {pqr, qr} and pq
e. {pqr, qr} and qr