Purchase Solution

Complete Proof

Not what you're looking for?

Ask Custom Question

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!

Purchase this Solution

Solution Summary

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

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

Purchase this Solution

Free BrainMass Quizzes
The World Health Organization

This quiz assesses the students knowledge about the World Health Organization. Although listed under “Philosophy” it is relevant to health care, political science, pre-med, and social scientist students as well.

Descartes Meditations on First Philosophy

Short quiz relating to Descartes