Hypothetical Syllogism

created by Tem42
(idea) by Tem42 (1 min) (print)   ?   (I like it!) 1 C! Sat Nov 13 1999 at 14:53:14
A rule of inference in propositional logic. Used to conjoin two conditionals. For example:

If P then Q
If Q then R
Therefore, If P then R.

If Socrates is a man, then he is mortal.
If Socrates is mortal, he is not a god.
Therefore, if Socrates is a man, he is not a god.

Sometimes abruviated to HS.
See also: Disjunctive Syllogism, Transitive Property of Inequalities.

Y'know, if you log in, you can write something here, or contact authors directly on the site. Create a New User if you don't already have an account.