For example, "All men are mortal; no gods are mortal; therefore no men are gods.
The traditional type is the categorical form 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. For example, "All men are mortal; no gods are mortal; therefore no men are gods." FTP, identify this valid deductive argument in logic having two premises and a conclusion, studied extensively by Aristotle.
The traditional type is the categorical form 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.
{syllogism}