Conclusion of Valid Categorical Syllogism is Negative iff one Premise is Negative

From ProofWiki
Jump to navigation Jump to search

Theorem

The conclusion of a valid categorical syllogism is negative if and only if one of the premises is also negative.


Proof


Also see


Historical Note

This rule of quality was axiomatic at the time of Aristotle, when the theory of the categorical syllogism was initially developed.


Sources