Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |
| logic:inferences:modus_barbara:modus_bocardo [23.01.25, 23:50:26] – external edit 127.0.0.1 | logic:inferences:modus_barbara:modus_bocardo [02.05.26, 19:18:43] (current) – [Modus Bocardo] 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 another negative existential and a positive [[glossary:universal_quantification|universal]] 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 another negative existential and a positive [[glossary:universal_quantification|universal]] proposition. |
| |
| <aside float-right> | <aside float-right><figure border box><h3 center>Modus Bocardo</h3> |
| <figure> | |
| <h3>Modus Bocardo</h3> | |
| {{modus_bocardo.svg?nolink|Modus Bocardo}} | {{modus_bocardo.svg?nolink|Modus Bocardo}} |
| <figcaption>Type ''OAO'', Figure ''3'' <span noprint>[[app>#OA3O|Modus Bocardo]]</span> \\ Parent: [[logic:inferences:modus_barbara:index|Barbara]]</figcaption> | <figcaption center>Type ''OAO'', Figure ''3'' <span noprint>[[app>#OA3O|Modus Bocardo]]</span> \\ Parent: [[logic:inferences:modus_barbara:index|Barbara]]</figcaption> |
| </figure> | </figure></aside> |
| </aside> | |
| |
| > Some <abbr "middle term">M</abbr> are not <abbr "major term">P</abbr>. | > Some <abbr "middle term">M</abbr> are not <abbr "major term">P</abbr>. |
