SOLUTION: Construct a regular proof to derive the conclusion of the following argument: 1. X >Y 2. (Y v ~X) > (Y > Z) / ~Z > ~X

Algebra ->  Proofs -> SOLUTION: Construct a regular proof to derive the conclusion of the following argument: 1. X >Y 2. (Y v ~X) > (Y > Z) / ~Z > ~X      Log On


   

Question 1010732: Construct a regular proof to derive the conclusion of the following argument:
1. X >Y
2. (Y v ~X) > (Y > Z)
/ ~Z > ~X
Answer by Edwin McCravy(20054) About Me  (Show Source):
You can put this solution on YOUR website!

1. X > Y 
2. (Y v ~X) > (Y > Z)       
 / ~Z > ~X

3. X > (Y v ~X)       1, addition
4. Y > Z              3,2 hypothetical syllogism
5. X > Z              1,4 hypothetical syllogism
6. ~Z > ~X            5, transposition

Edwin