SOLUTION: Can you help me solve this formal proof? 1. (C * K) v (L * T) 2. ~C v ~K :. L * T 3. 4.

Algebra ->  Proofs -> SOLUTION: Can you help me solve this formal proof? 1. (C * K) v (L * T) 2. ~C v ~K :. L * T 3. 4.      Log On


   

Question 1058601: Can you help me solve this formal proof?
1. (C * K) v (L * T)
2. ~C v ~K :. L * T
3.
4.
Answer by Edwin McCravy(20054) About Me  (Show Source):
You can put this solution on YOUR website!
Can you help me solve this formal proof?

1. (C * K) v (L * T)
2. ~C v ~K             :. L * T
3. ~(C * K)           2, DeMorgan's rule
4. L * T              1, 3, Disjunctive Syllogism 

Edwin