Introduction to Logic

Exercise 9.5 - Metalevel Logic

Say whether each of the following sentences is logically entailed by the sentences in section 9.7.

a. conjunction(and(not(p), not(q)))
b. conjunction(not(or(not(p), not(q))))
c. ae(and(p, or(p, q)), or(p, q))
d. ae(and(p, or(p, q)), and(p, q))