Axiom 1: p ->~y

Axiom 2: ~q ->r

Theorem 1: p -> ~z

Theorem 2: x -> either q or z

Theorem 3: r -> either x or y

Write a two-column proof of the proposition p -> q

Axiom 1: p ->~y

Axiom 2: ~q ->r

Theorem 1: p -> ~z

Theorem 2: x -> either q or z

Theorem 3: r -> either x or y

Write a two-column proof of the proposition p -> q

Tutors, please sign in to answer this question.

This is as far as I can get:

Assume p.

It follow from (Axiom 1) that ~y.

It follows from (Thrm. 1) that ~z.

Are you sure you copied down the Axioms and Theorems correctly?

If we also assumed ~x, then

it follows from (Thrm. 3) that ~r.

Finally it follows from (Axiom 2) that q.

Therefor, (p and ~x) -> q

Q.E.D.?

Daniel H.

Harvard & Law School Graduate - Master Tutor for Tests/Academics

New York, NY

4.8
(33 ratings)

Malik K.

MIT Grad, Math/Physics Tutor, Summer Math/Engineering Camp Instructor

New York, NY

5.0
(17 ratings)

Steven M.

Premium Test Prep and Subject Tutor - New York City UWS

New York, NY

5.0
(178 ratings)