# Hypothetical Syllogism | | In classical logic, a **Hypothetical Syllogism** is a valid argument form, a deductive syllogism with a conditional statement for one or both of its premises. Ancient references point to the works of Theophrastus and Eudemus for the first investigation of this kind of syllogisms. | |-|-| | | wikipedia:: [Hypothetical syllogism](https://en.wikipedia.org/wiki/Hypothetical_syllogism) | [[Syllogism]] If P, then Q. P. ∴ Q. [[Modus Ponens]]