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
Algebra ->
Proofs
-> 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
Log On
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):
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
(