====== Modus Dimatis ======
Form of a [[glossary:syllogism|syllogism]] based on the [[logic:inferences:modus_darii:index|Modus Darii]], in which an affirmative [[glossary:existential_quantification|existential]] proposition is inferred from affirmative //existential// and [[glossary:universal_quantification|universal]] premisses.
> Some P are M.
> All M are S.
> Therefore, Some S are P.
For example:
> Some rhombuses are squares.
> All squares are rectangles.
> Therefore, Some rectangles are rhombuses.
//Modus Dimatis// is very similar to [[logic:inferences:modus_darii:index|Modus Darii]], the only difference is that the major and minor statements are swapped.
===== Name =====
The name "Dimatis" is a [[wp>Mnemonic|mnemonic]] term that helps to remember the most important characteristics of this mode: The "D" at the beginning indicates that it is related to the [[logic:inferences:modus_darii:index|Modus Darii]], the two "i" and the "a" indicate the affirmative [[glossary:existential_quantification|existential]] and [[glossary:universal_quantification|universal]] statements that make up this form.
===== See also =====
* [[glossary:existential_quantification|Existential Quantification]]
* [[logic:inferences:modus_darii:index|Modus Darii]]
* [[glossary:syllogism|Syllogism]]
* [[glossary:universal_quantification|Universal Quantification]]
{{page>templates:banner#Short-BG-Logic&noheader&nofooter}}