hypothetical syllogism
From "if P, then Q" and "if Q, then R," conclude "if P, then R."
Hypothetical syllogism is the valid form that chains two conditionals: if P, then Q; if Q, then R; therefore if P, then R. The consequent of the first conditional must be the antecedent of the second.
Examples
"If I oversleep, I miss the bus. If I miss the bus, I'm late. So if I oversleep, I'm late."
See also