Immediate Inference

In Logic, an immediate inference is a case where a single premise allows us to draw a necessary conclusion.

The clearest cases of immediate inference are demonstrated by the Square of Opposition. For example, if we know the definition of contrary propositions, if we know the truth value of a Universal Affirmative proposition we can immediately infer the truth value of its contrary. This also holds for contradiction and, in some cases, sub-alternation.