# Complete Proof

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 ad1c9bdddfhttps://brainmass.com/philosophy/logic-critical-thinking/proof-philosophy-logic-sample-239626

#### 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.

$2.49