Find an Online Tutor Now

Asked • 02/17/20

Help sought to solve ~(A&B) / ~(A&~B) // ~A

A student contacted me asking for assistance in validating this symbolic logic (propositional) argument:




The question required the use of the Assumed Indirect Proof method, and required that it be solved in a certain number of steps.

1 Expert Answer


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.


Find an Online Tutor Now

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