| Both sides previous revisionPrevious revision | Next revisionBoth sides next revision |
| logic:inferences:modus_darii:modus_darapti [25.05.22, 21:57:53] – ↷ Links adapted because of a move operation admin | logic:inferences:modus_darii:modus_darapti [25.05.22, 21:59:19] – ↷ Links adapted because of a move operation admin |
|---|
| ====== Modus Darapti ====== | ====== Modus Darapti ====== |
| |
| Form of a [[logic:glossary:syllogism|syllogism]] based on the [[logic:inferences:modus_darii:index|Modus Darii]], in which an affirmative [[logic:glossary:existential_quantification|existential]] proposition is inferred from two affirmative [[glossary:universal_quantification|universal]] premisses. This form has an additional existential requirement. | Form of a [[glossary:syllogism|syllogism]] based on the [[logic:inferences:modus_darii:index|Modus Darii]], in which an affirmative [[logic:glossary:existential_quantification|existential]] proposition is inferred from two affirmative [[glossary:universal_quantification|universal]] premisses. This form has an additional existential requirement. |
| |
| <html><aside><figure><h3>Modus Darapti</h3></html>{{modus_darapti.svg?nolink|Modus Darapti}}<html><figcaption><a href="/app/syllogism-finder/index_en.html#AA3I">Typ <code>AAI</code>, Form <code>3</code></a><br /></html>Parent: [[logic:inferences:modus_darii:index|Darii]]<html></figcaption></figure></aside></html> | <html><aside><figure><h3>Modus Darapti</h3></html>{{modus_darapti.svg?nolink|Modus Darapti}}<html><figcaption><a href="/app/syllogism-finder/index_en.html#AA3I">Typ <code>AAI</code>, Form <code>3</code></a><br /></html>Parent: [[logic:inferences:modus_darii:index|Darii]]<html></figcaption></figure></aside></html> |
| * [[logic:glossary:existential_quantification|Existential quantification]] | * [[logic:glossary:existential_quantification|Existential quantification]] |
| * [[logic:inferences:modus_darii:index|Modus Darii]] | * [[logic:inferences:modus_darii:index|Modus Darii]] |
| * [[logic:glossary:syllogism|Syllogism]] | * [[glossary:syllogism|Syllogism]] |
| * [[glossary:universal_quantification|Universal quantification]] | * [[glossary:universal_quantification|Universal quantification]] |
| |
| {{page>templates:banner#Short-BG-Logic&noheader&nofooter}} | {{page>templates:banner#Short-BG-Logic&noheader&nofooter}} |
