The conclusion of a standard form categorical syllogism is negative, but both of the premises are positive. Any valid forms of categorical syllogisms that assert a negative conclusion must have at least one negative premise.
Examples:
- _All cats are animals.
Some pets are cats .
Therefore, some pets are not animals._
Synonyms: illicit affirmative