Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |
| logic:inferences:modus_barbara:modus_baroco [23.01.25, 23:50:26] – external edit 127.0.0.1 | logic:inferences:modus_barbara:modus_baroco [02.05.26, 19:17:59] (current) – [Modus Baroco] admin |
|---|
| Form of a [[glossary:syllogism|syllogism]] based on the [[logic:inferences:modus_barbara:index|Modus Barbara]], in which a negative [[glossary:existential_quantification|existential]] proposition is inferred from an affirmative [[glossary:universal_quantification|universal]] and a negative //existential// proposition. | Form of a [[glossary:syllogism|syllogism]] based on the [[logic:inferences:modus_barbara:index|Modus Barbara]], in which a negative [[glossary:existential_quantification|existential]] proposition is inferred from an affirmative [[glossary:universal_quantification|universal]] and a negative //existential// proposition. |
| |
| <aside float-right> | <aside float-right><figure border box><h3 center>Modus Baroco</h3> |
| <figure> | |
| <h3>Modus Baroco</h3> | |
| {{modus_baroco.svg?nolink|Modus Baroco}} | {{modus_baroco.svg?nolink|Modus Baroco}} |
| <figcaption>Type ''AOO'', Figure ''2''<span noprint> [[app>#AO2O|Modus Baroco]]</span> \\ Parent: [[logic:inferences:modus_barbara:index|Barbara]]</figcaption> | <figcaption center>Type ''AOO'', Figure ''2''<span noprint> [[app>#AO2O|Modus Baroco]]</span> \\ Parent: [[logic:inferences:modus_barbara:index|Barbara]]</figcaption></figure></aside> |
| </figure> | |
| </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>. |
