SOLUTION: What would the completed formal proof be? 1. M * (L v P) 2. ~M v ~L :. M * P 3. 4.

Question 1058597: What would the completed formal proof be?
1. M * (L v P)
2. ~M v ~L :. M * P
3.
4.
Answer by Edwin McCravy(20060) (Show Source): You can put this solution on YOUR website!

1. M * (L v P)
2. ~M v ~L        :. M * P
3. M                1, Simplification
4. ~~M              3, Double negation
5. ~L               2,4, Disjunctive syllogism
6. (L v P) * M      1, Commutation
7. L v P            6, Simplification
8. P                7,5, Disjunctive Syllogism 
9. M * P            3,8, Conjunction

Edwin

RELATED QUESTIONS
Use an ordinary proof (not conditional or indirect) to solve the following arguments... (answered by Edwin McCravy)

1. P ⊃ ~M 2. C ⊃ M 3. ~L v C 4. (~P ⊃ ~E) • (~E ⊃ ~C) 5. P v... (answered by Solver92311)

1. P (horseshoe) ~M 2. C (horseshoe) M 3. ~L v C 4. (~P (horseshoe) ~E) • (~E... (answered by RBryant)

solve the proof ~F > ~G, P > ~Q, ~F v P, (~G v ~Q) > (L • M), therefore,... (answered by Edwin McCravy)

Complete the following proofs using the Conditional Proof method. 1) 1. ~(P ∙... (answered by solver91311)

construct a formal proof of validity for the following argument. 1. (M ⊃ N)... (answered by Edwin McCravy)

1. (J v F) v M 2. (J v M) ⊃ ~ P 3. ~F/~(F v P) 4. M Assumption... (answered by math_tutor2020)

1. ~J v ~L 2. ~(J * L) -> ~M 3. ~E v (M v ~S) / ~(S * E) (answered by jim_thompson5910)

What is the ordinary proof to solve the following argument? P ⊃ ~M C ⊃ M ~L v C... (answered by Edwin McCravy)