SOLUTION: How do I complete the following proofs? Premises: 1. L ⊃ M 2. L 3. K v Q 4. ~K Prove: M ∙ Q Premises: 1. (A v ~B) v C 2. ~A Prove: B ⊃ C

Algebra.Com
Question 1108255: How do I complete the following proofs?
Premises:
1. L ⊃ M
2. L
3. K v Q
4. ~K Prove: M ∙ Q
Premises:
1. (A v ~B) v C
2. ~A Prove: B ⊃ C
Premises:
1. M v N
2. O ⊃ ~N Prove: O ⊃ M
Answer by Edwin McCravy(20056)   (Show Source): You can put this solution on YOUR website!
Premises:

1. L ⊃ M
2. L
3. K v Q
4. ~K	           Prove: M ∙ Q

5. M        1,2, Modus Ponens
6. Q        3,4, Disjunctive Syllogism
7. M ∙ Q    5,6, Conjunction 

---------------------------------

Premises: 
1. (A v ~B) v C
2. ~A             Prove: B ⊃ C

3. A v (~B v C)     1, Association
4. ~B v C         3,2, Disjunctive Syllogism
5. B -> C           4, Material implication 

---------------------------------------------

Premises: 
1. M v N
2. O ⊃ ~N	Prove: O ⊃ M

3. N v M      1, Commutation

              |4.   O     Assumption for Conditional Proof           
              |5.  ~N     2,4, Modus Ponens
              |6.   M     3,5, Disjunctive Syllogism   
7. O ⊃ M    4-6  Conditional Proof

Edwin
RELATED QUESTIONS

COMPLETE THE FOLLOWING PROOFS WITHOUT USING CONDITIONAL PROOF OR INDIRECT PROOF... (answered by robertb)
Complete the following proofs using the Conditional Proof method. 1) 1. ~(P ∙... (answered by solver91311)
Prove the following three arguments to be valid using the method of Natural Deduction A. (answered by solver91311)
Use an ordinary proof to show the conclusion can be derived from the premises. 1. K... (answered by Edwin McCravy)
INSTRUCTIONS: Select the conclusion that follows in a single step from the given... (answered by jim_thompson5910)
Question 1 1. ~(U v R) 2. (~R v N) ⊃ (P * H) 3. Q ⊃ ~H ~Q Question 2... (answered by Edwin McCravy)
INSTRUCTIONS: Select the conclusion that follows in a single step from the given... (answered by jim_thompson5910)
Example: 1. A 2. A>B / B 3. B 1,2 MP ←You add this line 1. G > H 2. ~H /... (answered by ikleyn)
Use an ordinary proof to show the conclusion can be derived from the premises. 1. G... (answered by Edwin McCravy)