SOLUTION: 1. (A v B) ⊃ T 2. Z ⊃ (A v B) 3. T ⊃ W 4. ~ W /∴~Z

Algebra ->  Proofs -> SOLUTION: 1. (A v B) ⊃ T 2. Z ⊃ (A v B) 3. T ⊃ W 4. ~ W /∴~Z       Log On


   

Question 1156254: 1. (A v B) ⊃ T
2. Z ⊃ (A v B)
3. T ⊃ W
4. ~ W /∴~Z
Answer by Edwin McCravy(20056) About Me  (Show Source):
You can put this solution on YOUR website!

1. (A v B) ⊃ T		
2. Z ⊃ (A v B)		
3. T ⊃ W			
4. ~W		/∴~Z

5. ~T           3,4,  Modus Tollens
6. ~(A v B)     1,5,  Modus Tollens
7. ~Z           2,6,  Modus Tollens.

Edwin