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.