SOLUTION: I cant figure out how to start this proof or complete it after I try directions say to use the direct method 1. (BdotC)horseshoe D 2. B 3. Q horseshoe -(-CvD) 4. -Q tripleba

Question 922310: I cant figure out how to start this proof or complete it after I try
directions say to use the direct method
1. (BdotC)horseshoe D
2. B
3. Q horseshoe -(-CvD)
4. -Q triplebar T
/T
Answer by jim_thompson5910(35256) (Show Source): You can put this solution on YOUR website!
I'm going to use & for the "dot" and "->" for "horseshoe"

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

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

Let me know if that helps or not. Thanks.

If you need more help, feel free to email me at jim_thompson5910@hotmail.com

My Website: http://www.freewebs.com/jimthompson5910/home.html

RELATED QUESTIONS
Proving Logical truths: [~y⊃(~f∨s)]≡[~f∨(y∨s)] How do... (answered by lynnlo)

i cant even figure out how to start this problem i looked thru the whole chapter but for... (answered by jim_thompson5910)

what is the answer to: -2x-3(x-5)-1 Directions say to simplify. I first thought... (answered by rapaljer)

2361Please help!!!! Use your calculator to find csc((pi)/(10)), where the angle is... (answered by uma)

Am I asking this correctly? The directions say: Use the substitution method to solve... (answered by stanbon)

Please help! I can't for the life of me figure this one out! Proof by natural... (answered by MathLover1)

I have the problem x(x) + 17x + 67 = -5 and need to solve this using the method Complete... (answered by edjones)

The directions say to factor as completely as possible (x-5)^3 -1 The answer is (x-6) (answered by glabow)

Using the foil method, I cant seem to figure this one out. Please help...... (answered by jim_thompson5910,bucky)