| Sentence pattern: if [sentence 1] then [sentence 2] if [sentence 2] then [sentence 3] Therefore, [sentence 1] then [sentence 3] |
Form:![]() |
| Example: If Roxin contains morphine then it is habit forming.. If it is habit forming then it must be labeled.. Therefore, if Roxin contains morphine then it must be labeled.. |
Example symbolized: Following the logical convention of letting a single letter represent an atomic sentence: R = Rexin contains morphine. H = It is habit forming. L = It must be labeled. And replacing if...then... with a symbol for implication: > R > H H > L ------ R > L |
| Examples of HS: B>~K ~A > B -------- -------------- ~A>~K F>~(~Y >T) ~(~Y > T) > [B . (C = D)] -------------------------- F>[B . (C = D)] |
Application: 1. (O > N) > (X > H)] 2. (X > H) > (J > L) 3. (J > L) > V / (O > H) > V 4. (O > H) > (J > L ) 1, 2 HS 5. (O > H) > V 4, 3 HS |