SOLUTION: Help! 1. ~M�(Z > R) 2. (~M v G) > ~ U 3. (~M v ~X) > ~B 4. (~B � ~U ) > (E

SOLUTION: Help! 1. ~M�(Z > R) 2. (~M v G) > ~ U 3. (~M v ~X) > ~B 4. (~B � ~U ) > (E > M) / ~E

Question 1090514: Help!
1. ~M�(Z > R)
2. (~M v G) > ~ U
3. (~M v ~X) > ~B
4. (~B � ~U ) > (E > M)
/ ~E
Answer by Edwin McCravy(20060) (Show Source): You can put this solution on YOUR website!


 1. ~M�(Z > R) 
 2. (~M v G) > ~U
 3. (~M v ~X) > ~B 
 4. (~B � ~U ) > (E > M)     / ~E

 5. ~M          1, simplification
 6. ~M v G      5, addition
 7. ~U          2,6, modus ponens
 8. ~M v ~X     5, addition
 9. ~B          3,8, modus ponens
10. ~B � ~U     9,7, conjunction
11. E > M       4,10, modus ponens
12. ~E          11,5, modus tollens

Edwin

RELATED QUESTIONS
Prove this with steps please 1 [(A v ~B) v T]->(X->M) 2 (A v R)->(Z->O) 3 A&(X v Z) (answered by Edwin McCravy)

1. H > (M > E) 2. ~[(M > H) > E] 3. (I + O) > [M + (X = P)] 4. [(K v B) > ~M] > (~I (answered by CPhill)

Prove the following three arguments to be valid using the method of Natural Deduction A. (answered by solver91311)

I need help finishing this proof. 1. ~ (A v B) 2. E > B 3. E v (G > U) 4. H v (answered by jim_thompson5910)

Please help me solve this proof: Premise 1: (E � I) v (M �U) Premise 2: ~E... (answered by jim_thompson5910)

1. (E & I) v (M & U) Basic Assumption 2. ~ E Basic Assumption / ~ M => ~ U (answered by Solver92311)

1. [A v (K & J)] > (~E &~F) 2. M > [A & (P v R)] 3. M & U... (answered by jim_thompson5910)

Question 1 please help me with this question. If the universal set U=... (answered by MathLover1,math_tutor2020)

Question 1 please help me with this question. If the universal set U=... (answered by MathLover1)