necessary inference

Primary tabs

A conclusion that must be true if the premise or fact on which it is based is taken to be true. For example, if the premise “all men are mortal” is taken to be true, the conclusion that “some men are mortal” must be true. See also inference.

[Last updated in July of 2020 by the Wex Definitions Team]