SOLUTION: construct a formal proof of validity for the following argument. 1. (M ⊃ N) ● (O ⊃ P) 2. ~ N v ~ P 3. ~ (M ● O) ⊃ Q 4. ∴ Q

Algebra.Com
Question 1129426: construct a formal proof of validity for the following argument.
1. (M ⊃ N) ● (O ⊃ P)

2. ~ N v ~ P

3. ~ (M ● O) ⊃ Q

4. ∴ Q
Answer by Edwin McCravy(20056)   (Show Source): You can put this solution on YOUR website!
1. (M ⊃ N) ●(O ⊃ P) 
2. ~ N v ~ P 
3. ~ (M ● O) ⊃ Q     / ∴ Q

                     | 4.  ~Q                           AIP
                     | 5.  ~~(M ● O)               3,MT
                     | 6.  M ● O                   5,DN
                     | 7.  M                       6,simp
                     | 8.  O ● M                   6,commutation
                     | 9.  O                       8,simp
                     |10. M ⊃ N                    1,simp
                     |11. N                        10,MP
                     |12. (O ⊃ P) ● (M ⊃ N)        1,commutation 
                     |13. O ⊃ P                    12,simp
                     |14. P                        13,9,MP
                     |15. N ● P                    11,13,conjunction
                     |16. ~(N ● P)                 2, deMorgan
                     |17. (N ● P)● ~(N ● P)        15,16, conjunction
18. Q       lines 4-17  Indirect Proof, (#17 is a contradiction)

Edwin
RELATED QUESTIONS

Could you please help me? Im sick with a bug and cant think straight :/ A) 1. A ⊃ (answered by solver91311)
How do I complete the following proofs? Premises: 1. L ⊃ M 2. L 3. K v Q... (answered by Edwin McCravy)
Create a proof for the following argument 1. M ⊃ H 2.(K ∨ F) ⊃ M... (answered by Edwin McCravy)
1. ~(H ⊃ ~E) ⊃ K 2. M v (O ⊃ H) 3. A ⊃ [~A v (~M ⊃ ~K)]... (answered by Apples_21)
I am preparing for my final and am stuck studying on this problem. Please help me by... (answered by Edwin McCravy)
Please help me create this proof using the 18 rules of inference. I have been working on... (answered by jim_thompson5910)
∼S⊃(N⊃T) ~S∙(R⊃S) (~M∙~N)⊃(~Ov~P)... (answered by solver91311)
1. (AvB) ⊃ C 
2. (CvD) ⊃ (EvF) 
3. A●~E             / F... (answered by Edwin McCravy)

INSTRUCTIONS: Construct a regular proof to derive the conclusion of the following... (answered by jim_thompson5910)