Find a (propositional) proof for o - (q1 Aq2) | (0 - q1) A (0 - 92)

Math Dec 04, 2020

Find a (propositional) proof for o - (q1 Aq2) | (0 - q1) A (0 - 92). (b) Find a (predicate) proof for $ - Vc Q(x) | Vc (0 - Q(x)), provided that I is not free in o. Hint: whenever you used A rules in the (propositional) proof of the previous item, use V rules in the (predicate) proof.) (c) Find a proof for Vr (P(x) - Q(x)) | Vr P(x) - VrQ(x). Hint: try (p1 - 91) A (p2 - 92) | p1 Ap2 - 91 A q2 first.)

Ask a new question