SOLUTION: 1. S v (U*P) 2. (SvU)>R // R > equals horseshoe

Algebra.Com
Question 607705: 1. S v (U*P)
2. (SvU)>R // R
> equals horseshoe
Answer by jim_thompson5910(35256)   (Show Source): You can put this solution on YOUR website!
1.   S v (U * P)
2.   (S v U) > R              // R 
-------------------------------------------------------
3.   (S v U) * (S v P)                   1     Distribution
4.   S v U                               3     Simplification
5.   R                                   2,4   Modus Ponens



--------------------------------------------------------------------------------------------------------------
If you need more help, email me at jim_thompson5910@hotmail.com

Also, please consider visiting my website: http://www.freewebs.com/jimthompson5910/home.html and making a donation. Thank you

Jim
--------------------------------------------------------------------------------------------------------------
RELATED QUESTIONS

Prove that the argument is valid using the method of natural deduction. 1. tilde(S dot... (answered by textot)
Prove that the argument is valid using the method of natural deduction. 1. Q 2. (R... (answered by textot)
1. ~(U v R) 2. (~R v N) ⊃ (P * H) 3. Q ⊃ ~H /... (answered by math_helper)
1. P V Q 2. Q -> (R & S) 3. (R V P) -> T /... (answered by Edwin McCravy)
Here is a proof that I have been unable to solve. I can solve it using Indirect Proof... (answered by richard1234)
1. P (horseshoe) ~M 2. C (horseshoe) M 3. ~L v C 4. (~P (horseshoe) ~E) • (~E... (answered by RBryant)
1. P v R 2. R -> Q ////// :. (P v Q) (answered by solver91311)
Can somebody please gimme a hand 1.¬S -> Q 2.(U v P) -> (F v T) 3.(R & S) -> T 4.¬R (answered by Edwin McCravy)
1. ~(U v R) 2. (~R v N) ⊃ (P • H) 3. Q ⊃ ~H /~Q (answered by CPhill)