Question 923409
Problem #1

<pre>
1)  T
2)  T -> B
3)  [(T * B) v K] -> ~L
4)  L v A 
/   A * T 
-------------------------------------------------------
5)  B                   2,1      Modus Ponens
6)  T * B               1,5      Conjunction
7)  (T * B) v K         6        Addition
8)  ~L                  3,7      Modus Ponens
9)  A                   4,8      Disjunctive Syllogism
10) A * T               9,1      Conjunction
</pre>



==================================================================================


Problem #2


<pre>
1)  T * B
2)  (T v M) -> (C * A) 
/   A v D 
-------------------------------------------------------
3)  T                  1        Simplification
4)  T v M              3        Addition
5)  C * A              2,4      Modus Ponens
6)  A * C              5        Commutation
7)  A                  6        Simplification
8)  A v D              7        Addition
</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>