I need the following proof to be completed in as few lines as possible. Complete it from anywhere between 22-25 lines, 20-21 lines, or for the preferred 19 lines. We are only supposed to use the "Primitive Rules" (&out, arrow out, double arrow out, wedge out, &in, double arrow in, wedge in, and the box rules arrow in, dash in, and dash out) and the "Recommended Derived Rules" (Double Negation, DeMorgan's, Arrow Exchange, Modus Tollens, and Disjunctive Argument).
I am doing this on my own but I wanted to see what others would get to compare to my method - our prof. said to be creative!
----------------------------------------
(H --> B)& -((RvS)vT)
(E&F)vH
(Sv-S)--> -(D-->E)
Conclusion: -(D--> -B)&H
------------------------------------
Thanks!
2007-03-28
18:07:56
·
2 answers
·
asked by
TelleyJade
3
in
Mathematics