Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |
| logic:inferences:modus_celarent:modus_calemos [23.01.25, 23:50:29] – external edit 127.0.0.1 | logic:inferences:modus_celarent:modus_calemos [02.05.26, 19:25:08] (current) – [Modus Calemos] admin |
|---|
| Form of a [[glossary:syllogism|syllogism]] based on the [[logic:inferences:modus_celarent:index|Modus Celarent]], in which a negative [[glossary:existential_quantification|existential]] proposition is inferred from positive and negative [[glossary:universal_quantification|universal]] premisses. | Form of a [[glossary:syllogism|syllogism]] based on the [[logic:inferences:modus_celarent:index|Modus Celarent]], in which a negative [[glossary:existential_quantification|existential]] proposition is inferred from positive and negative [[glossary:universal_quantification|universal]] premisses. |
| |
| <aside float-right> | <aside float-right><figure border box><h3 center>Modus Calemos</h3> |
| <figure> | |
| <h3>Modus Calemos</h3> | |
| {{modus_calemos.svg?nolink|Modus Calemos}} | {{modus_calemos.svg?nolink|Modus Calemos}} |
| <figcaption>Type ''AEO'', Figure ''4''<span noprint> [[app>#AE4O>|Modus Calemos]]</span> \\ Parent: [[logic:inferences:modus_celarent:index|Celarent]]</figcaption> | <figcaption center>Type ''AEO'', Figure ''4''<span noprint> [[app>#AE4O>|Modus Calemos]]</span> \\ Parent: [[logic:inferences:modus_celarent:index|Celarent]]</figcaption> |
| </figure> | </figure></aside> |
| </aside> | |
| |
| > All <abbr "major term">P</abbr> are <abbr "middle term">M</abbr>. | > All <abbr "major term">P</abbr> are <abbr "middle term">M</abbr>. |
