Question 922310
I'm going to use & for the "dot" and "->" for "horseshoe"


<pre>
1.  (B & C) -> D
2.  B
3.  Q -> ~(~C v D)
4.  ~Q = T
/   T
-------------------------------------------------------
5.  B -> (C -> D)                 1       Exportation
6.  C -> D                        5,2     Modus Ponens
7.  ~~(C -> D)                    6       Double Negation
8.  ~Q                            3,7     Modus Tollens
9.  (~Q -> T) & (T -> ~Q)         4       Material Equivalence
10.  ~Q -> T                      9       Simplification
11.  T                            10,8    Modus Ponens
</pre>



-----------------------------------------------------------------------------


Let me know if that helps or not. Thanks.


If you need more help, feel free to email me at <a href="mailto:jim_thompson5910@hotmail.com?Subject=I%20Need%20Algebra%20Help">jim_thompson5910@hotmail.com</a>


My Website: <a href="http://www.freewebs.com/jimthompson5910/home.html">http://www.freewebs.com/jimthompson5910/home.html</a>