*The formal model of proposition consists of two terms, one of which, the "predicate", is "affirmed" or "denied" of the other, the "subject", and which is capable of truth or falsity.
*The syllogism is an inference in which one proposition (the