SOLUTION: <pre> Give reasons for the steps, given premises 1, 2 and 3: 1. X &#8835; (Y &#8835; Z) 2. X &#8835; (A &#8835; B) 3. X • (Y &#8744; A) &#8756; &#8764;B &#8835; X

Algebra.Com
Question 1116905: 
Give reasons for the steps, given premises 1, 2 and 3:

1.  X ⊃ (Y ⊃ Z)

2.  X ⊃ (A ⊃ B)

3.  X • (Y ∨ A)     ∴  ∼B ⊃ X 

4.  X                   

5.  A ⊃ B          

6.  Y ⊃ Z           

7.  (Y ∨ A) • X    

8.  Y ∨ A              

9. ∼(∼Y) ∨ A       

10. ∼Y ⊃ A          

11. ∼Y ⊃ B         

12. ∼B ⊃ ∼(∼Y)  

13. ∼B ⊃ Y          

14.  X ∨ ∼Y         

15.  ∼Y ∨ X        

16.  Y ⊃ X           

17. ∼B ⊃ X

Answer by Edwin McCravy(20054)   (Show Source): You can put this solution on YOUR website!
Give reasons for the steps, given premises 1, 2 and 3:

1.  X ⊃ (Y ⊃ Z)

2.  X ⊃ (A ⊃ B)

3.  X • (Y ∨ A)     /∴  ∼B ⊃ X 

4.  X                 3, Simplification

5.  A ⊃ B           2,4, Modus Ponens

6.  Y ⊃ Z           1,4, Modus Ponens

7.  (Y ∨ A) • X       3, Commutation

8.  Y ∨ A             7, Simplification 

9. ∼(∼Y) ∨ A          8, Double Negation

10. ∼Y ⊃ A           10, Material Implication

11. ∼Y ⊃ B         10,5, Hypothetical Syllogism

12. ∼B ⊃ ∼(∼Y)       11, Transposition

13. ∼B ⊃ Y          12, Double Negation

14.  X ∨ ∼Y           4, Addition

15.  ∼Y ∨ X          14, Commutation

16.  Y ⊃ X           15, Material Implication

17. ∼B ⊃ X        13,16, Hypothetical syllogism

Edwin
RELATED QUESTIONS

Premises: 1. A ⊃ X 2. X ⊃ (B... (answered by math_helper)
Could you please help me? Im sick with a bug and cant think straight :/ A) 1. A ⊃ (answered by solver91311)
Premises: 1. X ⊃ ~W 2. ~V ⊃ W... (answered by math_helper)
Please help me solve this proof! Premises: 1. (A⊃B)&(C⊃D) 2.... (answered by Edwin McCravy)
Please help me create this proof using the 18 rules of inference. I have been working on... (answered by jim_thompson5910)
Hi, I need help with finishing these proofs for my PHI class I am so confused! :( [1] (answered by Edwin McCravy)
Create a proof for the following argument 1. M ⊃ H 2.(K ∨ F) ⊃ M... (answered by Edwin McCravy)
Still having issues on proofs 1.(A⊃S)⊃G 2. A⊃Q 3. G⊃B 4.... (answered by t0hierry)
1. N ⊃ (F • A) 2. B ⊃ (R • F) / (N ∨ B) ⊃ (A ∨... (answered by Edwin McCravy)