1. (L ∨ B) ⊃ C     

2. (S ∨ D) • L     

3. L             2, Simplification (SIMP)

4. L ∨ B         3, Addition (ADD)

5. C             4,1 Modus Ponens (MP)

 





In words:  

Line 3 says since "(S or D) and L"  is true, then L is true on its own.



Line 4 says since L is true, "L or B" is also true.  Adding B (or any variable) does not affect the truth since we already know L to be true.  ADD is a freebie.



Line 5 applies "L or B" true to the conditional statement to show the truth of C follows.  

 

RELATED QUESTIONS

Create a proof for the following argument.

1.~D
2.B ⊃ (C ⊃ D)     /~(B •... (answered by math_tutor2020)

CREATE A PROOF FOLLOWING THE ARGUMENT

K ∨ L
(K ⊃ F) • (R ⊃ S)
(N ⊃ K) •... (answered by Edwin McCravy)

INSTRUCTIONS: Select the conclusion that follows in a single step from the given... (answered by jim_thompson5910)

Use the first eight implication rules to create a proof of the following argument.
1. B... (answered by Edwin McCravy)

Problem says this, and it is a multiple choice question:
Given the following sets,... (answered by Edwin McCravy)

Create proof for the following argument
1. (H ∨ M) ∨ L
2. L ⊃ H
3. H ⊃ (M ⊃... (answered by Edwin McCravy)

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

The problem says this, and it is multiple choice:
Given the following sets, select the... (answered by Theo)

CREATE A PROOF FOR THE FOLLOWING ARGUMENT

(R ∨ M) ⊃ S
M ∨ C
(C ∨ H) ⊃ R... (answered by mccravyedwin)