A syllogism is a formal rule to combine logical premises. The classic is Aristotle's:
FROM "all men are mortal
AND "Socrates is a man"
CONCLUDE: "Socrates is mortal".
FROM "all men are mortal
AND "Socrates is a man"
CONCLUDE: "Socrates is mortal".
This is using a general syllogism of the form:
FROM "all members of CLASS(x) HAS_PROPERTY(y)
AND "ENTITY(z) is of CLASS(x)"
CONCLUDE: "ENTITY(z) HAS_PROPERTY(y)"
FROM "all members of CLASS(x) HAS_PROPERTY(y)
AND "ENTITY(z) is of CLASS(x)"
CONCLUDE: "ENTITY(z) HAS_PROPERTY(y)"
Used in Chap. 3: page 26