Suppose the following have been established or assumed:

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

Still looking for help? Get the right answer, fast.

Ask a question for free

Get a free answer to a quick problem.
Most questions answered within 4 hours.

OR

Find an Online Tutor Now

Choose an expert and meet online. No packages or subscriptions, pay only for the time you need.