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

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

RELATED QUESTIONS
Create a proof for the following argument 1. M ⊃ H 2.(K ∨ F) ⊃ M... (answered by Edwin McCravy)

Complete the truth table to show whether the following argument is valid or invalid. If... (answered by solver91311)

Formal proof: In the text box below, use the proof method (M9) to construct a formal... (answered by math_helper)

can i have help solving these proofs a regular proof to derive the conclusion of the... (answered by jim_thompson5910)

4. The resistance (R) of a copper wire varies directly as its length (L). Write this... (answered by Alan3354)

III. Use Indirect Proof to solve the following arguments (K v L) ⊃ (M • N) (N v... (answered by jim_thompson5910)

Choose one of the proofs below and use one of the indirect proof techniques (reductio ad... (answered by jim_thompson5910)

I am trying to geta count of how many possible values I can create using all the leters... (answered by Edwin McCravy)

Use an ordinary proof to show the conclusion can be derived from the premises. 1. K... (answered by Edwin McCravy)