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

Algebra ->  Proofs -> SOLUTION: Proof for: 1. U v (~U > ~B) 2. ~B > (R > U) 3. ~U / ~R       Log On


   

Question 1090916: Proof for:
1. U v (~U > ~B)
2. ~B > (R > U)
3. ~U
/ ~R
Answer by Edwin McCravy(20054) About Me  (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