SOLUTION: 1. S.R 2. S>X 3. X>~R /:. (X.S).(~RvW)

Algebra ->  Proofs -> SOLUTION: 1. S.R 2. S>X 3. X>~R /:. (X.S).(~RvW)      Log On


   

Question 1035372: 1. S.R
2. S>X
3. X>~R /:. (X.S).(~RvW)
Answer by solver91311(24713) About Me  (Show Source):
You can put this solution on YOUR website!

1.  S & R
2.  S -> X
3.  X -> ~R  | :. (X & R) & (~R v W)


Contradictory premises.  

4  R         1 Conjunction Elimination
5  S         1 Conjunction Elimination
6  X         5, 2 Modus Ponens
7  ~R        6, 3 Modus Ponens

7 contradicts 4

John

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