the proposition arrived at by logical reasoning (such as the proposition that must follow from the major and minor premises of a syllogism)