Evan Harmon - Memex

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

If P, then Q.
P.
∴ Q.

Hypothetical Syllogism
Interactive graph
On this page
Hypothetical Syllogism