SOLUTION: Show that each of the arguments is valid by deriving the conclusion from the given premises. {5} [11] C: W ----------- ----------- ----------- ----------- - 1: X ∨ Y

Algebra ->  Proofs -> SOLUTION: Show that each of the arguments is valid by deriving the conclusion from the given premises. {5} [11] C: W ----------- ----------- ----------- ----------- - 1: X ∨ Y       Log On


   

Question 1194062: Show that each of the arguments is valid by deriving the conclusion from the given
premises.
{5} [11] C: W
-------------------------------------------------
1: X ∨ Y
2: Z ⊃ X
3: (Y ∙ ~Z) ⊃ (W ∙ ~Z)
4: ~X

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


1:  X V Y

2:  Z -> X

3:  (Y & ~Z) -> (W & ~Z)

4:  ~X                     |  W

5:  Y                      1, 4  Disjunctive Syllogism

6:  ~Z                     2, 4  Modus Tollens

7:  Y & ~Z                 5, 6  Conjunction

8:  W & ~Z                 3, 7  Modus Ponens

9:  ⸫ W                    8     Simplification


John

My calculator said it, I believe it, that settles it

From
I > Ø