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

Question 1035372: 1. S.R
2. S>X
3. X>~R /:. (X.S).(~RvW)
Answer by solver91311(24713) (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

RELATED QUESTIONS
Let r(x)=x^2-3 and s(x)=x^3-6. Find... (answered by jim_thompson5910)

r(x)=x-5,s(x)=4x+2. Write the expression for... (answered by Fombitz)

Suppose that the functions r and s are defined for all real numbers x as follows.... (answered by MathLover1)

Suppose that the functions r and s are defined for all real numbers x as follows.... (answered by Tatiana_Stebko)

(r^6s)^-2 __________=??? r^-5... (answered by Fombitz)

I need help finishing this proof. Pv~R,~R->S,~P|- S&~R 1 (1) Pv~R A 2 (2)... (answered by jim_thompson5910)

1.S>(R&~T) 2.(S&R)>(TvE) 3.(Qv~T)>~E... (answered by Edwin McCravy)

Determine k so that the lines r and s are parallel. r:(x-2)/3 = y/(-2) s:(x+5)/(-6) = (answered by josgarithmetic)

r(x)= x-6 s(x)=2x^2 write the expressions for (r+s)(x) and (r-s)(x) and evaluate... (answered by Alan3354)