In logic, a hypothetical syllogism has two uses. In propositional logic it expresses one of the rules of inference, while in the history of logic, it is a shorthand for the theory of consequence.
Hypothetical syllogism is one of the proof rules in classical logic that may or may not be available in a nonclassical logic. The hypothetical syllogism (abbr. H.S.) is a valid argument of the following form:
Symbolically, this is expressed:
^{[1]}
