hypothetical syllogism,
n.
an argument of the form
if P then Q
if Q then R
so
if P then R
.
