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.Com
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)   (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 > Ø
RELATED QUESTIONS

Prove that the following two arguments are valid using the method of Natural Deduction.... (answered by robertb)
Which statement is true about this argument? Premises: If a quadrilateral is a... (answered by math_helper)
Which statement is true about this argument? Premises: If a quadrilateral is a... (answered by solver91311)
Decide whether the argument is valid given premises A,B, and C, and the conclusion. A.... (answered by jorel1380)
write a valid conclusion for the given set of premises. if no valid conclusion is... (answered by chessace)
do a proof for the following arguments: 1. XvY 2. ~F 3. D > X 4. ~Y&F /~D&F... (answered by solver91311)
Construct proofs to show that the following arguments are valid. 1.(AvG)>K 2.K>(B>F)... (answered by Edwin McCravy)
Use an ordinary proof to show the conclusion can be derived from the premises. 1. ~N... (answered by robertb)
Construct proofs to show the following are valid: 1. ~E 2. F->(DvE) 3. ~D (answered by Edwin McCravy)