SOLUTION: how to proof the arguments: 1. T ⊃ G 2. S ⊃ G ∴ (T ∨ S) ⊃ G

Algebra ->  Proofs -> SOLUTION: how to proof the arguments: 1. T ⊃ G 2. S ⊃ G ∴ (T ∨ S) ⊃ G      Log On


   

Question 824313: how to proof the arguments:
1. T ⊃ G
2. S ⊃ G
∴ (T ∨ S) ⊃ G
Answer by Edwin McCravy(20054) About Me  (Show Source):
You can put this solution on YOUR website!
1. T ⊃ G
2. S ⊃ G 
∴ (T ∨ S) ⊃ G

(T ⊃ G) & (S ⊃ G)       given 
(~T ∨ G) & (~S ∨ G)     by  P ⊃ Q  <=> ~P ∨ Q
(~T & ~S) ∨ G           by ∨ is distributive over &
~(T ∨ S) ∨ G            by deMorgan's law.
(T ∨ S) ⊃ G             by  P ⊃ Q  <=> ~P ∨ Q

Edwin