in logic, a valid deductive argument having two premises and a conclusion. The traditional type is the categorical syllogism in which both premises and the conclusion are simple declarative statements that are constructed using only three simple terms between them, each term appearing twice (as a subject and as a predicate): “All men are mortal; no gods are mortal; therefore no men are gods.” The argument in such syllogisms is valid by virtue of the fact that it would not be possible to assert the premises and to deny the conclusion without contradicting oneself.