Necessary inference - sustany/dvg GitHub Wiki

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.