Explore BrainMass

Explore BrainMass

    Complete Proof

    This content was COPIED from BrainMass.com - View the original, and get the already-completed solution here!

    Hello Brainmass OTA! I need help working this proof:

    (H>B)&-((RvS)vT),(E&F)vH,(Sv-S).-(D.E) / -(D.-B)&H

    I need a Proof built. Thank you!

    © BrainMass Inc. brainmass.com March 4, 2021, 9:23 pm ad1c9bdddf

    Solution Preview

    This was a tricky proof! It took me 33 lines, so, if your professor says he can do it in 19 lines, he must have a more elegant strategy than I found. I made a truth table first to verify that the argument was valid; since the truth table told me the argument was valid, I knew I should be able to work out a proof. I started out by working forward (from the premises that were given) and simplifying ...

    Solution Summary

    The expert explains some strategies for constructing logical proofs. Provides an example of a (rather long) complete proof.