01/11/13
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.