====== Modus Camestres ======
Form of a [[glossary:syllogism|syllogism]] based on the [[logic:inferences:modus_celarent:index|Modus Celarent]], in which a negative [[glossary:universal_quantification|universal]] proposition is inferred from an affirmative and a negative //universal// proposition.
> All P are M.
> No S is M.
> Therefore, no S is P.
For example:
> All squares are rectangles.
> No circle is a rectangle.
> Therefore, No circle is a square.
//Modus Camestros// is similar to [[logic:inferences:modus_celarent:modus_camestros|Modus Camestros]], but is the stronger of the two forms, as it infers a //universal// statement rather than an //existential// one.
===== Name =====
The name "Camestres" is a [[wp>Mnemonic|mnemonic]] term that helps to remember the most important characteristics of this mode: The "C" at the beginning indicates that it is related to the [[logic:inferences:modus_celarent:index|Modus Celarent]], the "a" indicates the affirmative, the two "e" the negative [[glossary:universal_quantification|universal]] statements that make up the form.
===== See also =====
* [[logic:inferences:modus_celarent:index|Modus Celarent]]
* [[glossary:syllogism|Syllogism]]
* [[glossary:universal_quantification|Universal Quantification]]
{{page>templates:banner#Short-BG-Logic&noheader&nofooter}}