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

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) (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

RELATED QUESTIONS
Can anybody help me complete this proof? 1. (C v S) v L 2. ~S & (~L v Z) 3. (L v C)... (answered by jim_thompson5910)

What is the proper way to solve this proof? 1. (T ● K) v (C ● E) 2. K... (answered by Edwin McCravy)

Can You please help me solve these proofs? The first statement I'm using the horseshoe... (answered by Edwin McCravy)

Can someone please help me with this proof using the 18 rules of inference? > is a... (answered by jim_thompson5910)

Hi I have two homework problems that I cannot seem to quite get. In class and with my... (answered by jim_thompson5910)

Can you tell me the completed formal proof? 1. (C v D) > (E * F) 2. D v C :. E 3.... (answered by Edwin McCravy)

1. (EvF)$(E->L,L->M,D.(D&F(->F)->L |- L&M 2. FvI, F->(-D->N),... (answered by lynnlo)

I'm stumped on this problem, could someone please help me construct a proof? 1. (G *... (answered by jim_thompson5910)

What would the completed formal proof be? 1. M * (L v P) 2. ~M v ~L :. M * P 3.... (answered by Edwin McCravy)