Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |
| logic:inferences:modus_barbara:modus_bamalip [16.02.25, 14:42:53] – [Modus Bamalip] sascha | logic:inferences:modus_barbara:modus_bamalip [02.05.26, 19:22:00] (current) – [Modus Bamalip] admin |
|---|
| A weaker form of the [[logic:inferences:modus_barbara:index|Modus Barbara]], in which only an existential conclusion is inferred. This form has an additional existential requirement. | A weaker form of the [[logic:inferences:modus_barbara:index|Modus Barbara]], in which only an existential conclusion is inferred. This form has an additional existential requirement. |
| |
| <aside float-right> | <aside float-right><figure border box><h3 center>Modus Bamalip</h3> |
| <figure> | |
| <h3>Modus Bamalip</h3> | |
| {{modus_bamalip.svg?nolink|Modus Bamalip}} | {{modus_bamalip.svg?nolink|Modus Bamalip}} |
| <figcaption>Type ''AAI'', Figure ''4''<span noprint> [[app>#AA4I|Modus Bamalip]]</span> \\ Parent: [[logic:inferences:modus_barbara:index|Barbara]]</figcaption> | <figcaption center>Type ''AAI'', Figure ''4''<span noprint> [[app>#AA4I|Modus Bamalip]]</span> \\ Parent: [[logic:inferences:modus_barbara:index|Barbara]]</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>. |