A type of inference in which it is assumed that the conclusion necessarily follows from the premise.
For example, if it is true that A is greater than B and that B is greater than B, then it necessarily follows that A is greater than C.
In this example A is greater than B and B is greater than B are prerequisites, and A is greater than C is the conclusion. The forms of inference are studied by logic.