SOLUTION: Proof for: 1. U v (~U > ~B) 2. ~B > (R

SOLUTION: Proof for: 1. U v (~U > ~B) 2. ~B > (R > U) 3. ~U / ~R

Question 1090916: Proof for:
1. U v (~U > ~B)
2. ~B > (R > U)
3. ~U
/ ~R
Answer by Edwin McCravy(20054) (Show Source): You can put this solution on YOUR website!


1. U v (~U > ~B) 
2. ~B > (R > U)
3. ~U           / ~R

4. ~U > ~B          1,3, Disjunctive Syllogism
5. ~B               4,3, Modus Ponens
6. R > U            2,5, Modus Ponens
7. ~R               6,3, Modus Tollens

Edwin

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

Help! 1. ~M�(Z > R) 2. (~M v G) > ~ U 3. (~M v ~X) > ~B 4. (~B � ~U ) > (E > M)... (answered by Edwin McCravy)

Complete the following natural deduction proof. Thank you! 1. (R � J) ⊃ U 2.... (answered by robertb)

solve the equation for r u=y(r+b)... (answered by nglngl)

Find the indicated value for the given rational expression: R(u)=8u^2-1/u^2-u-6 ,... (answered by checkley77)

1. ~(U v R) 2. (~R v N) ⊃ (P * H) 3. Q ⊃ ~H /... (answered by math_helper)

v=(b-u)/k solve for... (answered by Gogonati)