SOLUTION: CREATE A PROOF FOLLOWING THE ARGUMENT K ∨ L (K ⊃ F) • (R ⊃ S) (N ⊃ K) • (L ⊃ C) /F V C

Algebra ->  Proofs -> SOLUTION: CREATE A PROOF FOLLOWING THE ARGUMENT K ∨ L (K ⊃ F) • (R ⊃ S) (N ⊃ K) • (L ⊃ C) /F V C       Log On


   

Question 1194044: CREATE A PROOF FOLLOWING THE ARGUMENT
K ∨ L
(K ⊃ F) • (R ⊃ S)
(N ⊃ K) • (L ⊃ C) /F V C
Answer by Edwin McCravy(20054) About Me  (Show Source):
You can put this solution on YOUR website!


1.  K ∨ L
2.  (K ⊃ F) • (R ⊃ S)
3.  (N ⊃ K) • (L ⊃ C)     /F V C

4.  K ⊃ F                2, simp.
5. (L ⊃ C) • (N ⊃ K)     3, comm.
6. L ⊃ C                 5, simp.
7. (K ⊃ F) • (L ⊃ C)     4, conj.
8. F V C                 7,1, CD  (constructive dilemma)

Edwin