SOLUTION: Just one premise, but a difficult conclusion
S -> T
We have to show (U v S) -> (U v T)
Algebra.Com
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) (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
RELATED QUESTIONS
3.(S v T) v (U v W), therefore, (U v T) v (S v... (answered by Edwin McCravy)
show the difference one-to-one correspondence between {1,2,3,4} and... (answered by greenestamps)
If s/t = u/v, then... (answered by Edwin McCravy)
Stumped
C <-> T
~C -> (~S v ~R)
~C -> D
(~D v S) & (~D v R)
We have to show... (answered by Edwin McCravy)
Use natural deduction to derive the conclusion of the following arguments. Do not use... (answered by jim_thompson5910)
Solve the problem using rules of inference and replacement:
Premise 1) Q v (R . S)... (answered by solver91311)
Please help me solve this using indirect proofs! (I can't get it go anywhere it seems!)... (answered by jim_thompson5910)
Q−4: [6+4 marks] Let S={v_1,v_2,v_3} be a linearly independent set of vectors in〖... (answered by CPhill)
Q−4: [6+4 marks] Let S={v_1,v_2,v_3} be a linearly independent set of vectors in〖... (answered by CPhill)