SOLUTION: Stuck on this problem: 1. ~A > (M > A) 2. (Z > M) • (X = R) 3. ~A / ~Z v I

Algebra ->  Proofs -> SOLUTION: Stuck on this problem: 1. ~A > (M > A) 2. (Z > M) • (X = R) 3. ~A / ~Z v I       Log On


   

Question 1090491: Stuck on this problem:
1. ~A > (M > A)
2. (Z > M) • (X = R)
3. ~A
/ ~Z v I

Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!

NumberStatementLines UsedReason
1~A > (M > A)
2(Z > M) & (X = R)
3~A
:.~Z v I
4M > A1,3Modus Ponens
5~M4,3Modus Tollens
6Z > M2Simplification
7~Z6,5Modus Tollens
8~Z v I7Addition