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

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

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) (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

RELATED QUESTIONS
Construct a regular proof to derive the conclusion of the following argument: 1. X >Y... (answered by math_helper)

Can i please have help solving these proofs? Use an ordinary proof (not conditional or... (answered by jim_thompson5910)

INSTRUCTIONS: Construct a regular proof to derive the conclusion of the following... (answered by Edwin McCravy)

can i have help solving this proof please? Construct a regular proof to derive the... (answered by jim_thompson5910)

INSTRUCTIONS: Construct a regular proof to derive the conclusion of the following... (answered by solver91311)

INSTRUCTIONS: Construct a regular proof to derive the conclusion of the following... (answered by Edwin McCravy)

INSTRUCTIONS: Construct a regular proof to derive the conclusion of the following... (answered by jim_thompson5910)

can i have help solving these proofs a regular proof to derive the conclusion of the... (answered by jim_thompson5910)