====== Modus Fesapo ======

Form eines [[begriffe:syllogismus|Syllogismus]] auf Basis des [[logik:schlussformen:modus_ferio:hauptseite|Modus Ferio]] als Grundform, bei dem von einem negativen und einem positiven [[begriffe:allsatz|Allsatz]] auf einen neuen negativen [[begriffe:existenzsatz|Existenzsatz]] geschlossen wird. 

<aside float-right>
<figure box>
<h3>Modus Fesapo</h3>{{modus_fesapo.svg?nolink|Modus Fesapo}}
<figcaption centered>Typ ''EAO'', Form ''4''<span noprint> [[app>#EA4O|Modus Fesapo in Syllogismus-Finder App öffnen]]</span> \\ Hauptform: [[logik:schlussformen:modus_ferio:hauptseite|Ferio]]</figcaption>
</figure>
</aside>

> Kein <abbr "Oberbegriff">O</abbr> ist <abbr "Mittelbegriff">M</abbr>.
> Alle <abbr "Mittelbegriff">M</abbr> sind <abbr "Unterbegriff">U</abbr>.
> [//und es existiert wenigstens ein// <abbr "Mittelbegriff">M</abbr>]*
> <span conclusio><span "daraus folgt">∴</span> Einige <abbr "Unterbegriff">U</abbr> sind nicht <abbr "Oberbegriff">O</abbr>.   </span>

Zum Beispiel:

> Kein //Kreis// ist ein //Quadrat//.
> Alle //Quadrate// sind //Rechtecke//.
> [und es existiert wenigstens ein //Quadrat//]*
> <span conclusio>Daraus folgt: Einige //Rechtecke// sind keine //Kreise//.</span>

<aside box>
* **Hinweis:** Wenn von //Allsätzen// auf einen //Existenzsatz// geschlossen wird, muss als Nebenbedingung nachgewiesen werden, dass sich die verwendeten Begriffe nicht auf eine [[logik:fehlannahmen:leere_begriffsmenge|leere Begriffsmenge]] beziehen. Beim //Modus Fesapo// reicht es aus, die Existenz von <abbr "Mittelbegriff">M</abbr> zu beweisen, da sich daraus auch zwingend die Existenz von <abbr "Unterbegriff">U</abbr> ergibt, während der Schlussatz keine Aussage zur Existenz von <abbr "Oberbegriff">O</abbr> impliziert.
</aside>

===== Namensherkunft =====

Der Name „Fesapo“ ist eine [[wpde>Eselsbrücke]], die hilft, die wichtigsten Eigenschaften dieses Modus in Erinner­ung zu behalten: Das „F“ am Wortanfang steht für die Verwandtschaft zum [[logik:schlussformen:modus_ferio:hauptseite|Modus Ferio]], das „e“ für einen nega­tiven und das „a“ für einen positiven [[begriffe:allsatz|Allsatz]], das „o“ schließlich zeigt an, dass der Schlusssatz ein negativer [[begriffe:existenzsatz|Existenz­satz]] ist.

===== Siehe auch =====

  * [[begriffe:allsatz|Allsatz]]
  * [[logik:schlussformen:modus_ferio:hauptseite|Modus Ferio]]
  * [[begriffe:existenzsatz|Existenzsatz]]
  * [[begriffe:syllogismus|Syllogismus]]

{{page>templates:banner#Short-BG-Logic&noheader&nofooter}}