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.
| 
