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 ->  Proofs -> 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      Log On


   

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