SOLUTION: S>(~U•B) / (~H>S)>(~H>B) Using conditional proof The horseshoe is >

Algebra ->  Proofs -> SOLUTION: S>(~U•B) / (~H>S)>(~H>B) Using conditional proof The horseshoe is >      Log On


   

Question 1003230: S>(~U•B) / (~H>S)>(~H>B)
Using conditional proof
The horseshoe is >
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
NumberStatementLines UsedReason
1S > (~U * B)
.:(~H > S) > (~H > B)
|2~H > SACP
|3~H > (~U * B)2,1HS
|4~~H v (~U * B)3MI
|5H v (~U * B)4DN
|6(H v ~U) * (H v B)5Dist
|7(H v B) * (H v ~U)6Comm
|8H v B7Simp
|9~~H v B8DN
|10~H > B9MI
11(~H > S) > (~H > B)2-10CP


Acronyms/Abbreviations used:

ACP = Assumption for Conditional Proof
CP = Conditional Proof
HS = Hypothetical Syllogism
MI = Material Implication
DN = Double Negation
Comm = Commutation
Dist = Distribution
Simp = Simplification