SOLUTION: Just one premise, but a difficult conclusion S -> T We have to show (U v S) -> (U v T)

Algebra ->  Proofs -> SOLUTION: Just one premise, but a difficult conclusion S -> T We have to show (U v S) -> (U v T)      Log On


   

Question 251010: Just one premise, but a difficult conclusion
S -> T
We have to show (U v S) -> (U v T)
Answer by solver91311(24713) About Me  (Show Source):
You can put this solution on YOUR website!


Given.

Identity.

Defn of Or (at least U)

Defn of Or (at least T)

Therefore Defn of Or


John