Mengentheorie/Aristotelische Schlüsse/Aufgabe
Erscheinungsbild
Beweise die mengentheoretischen Fassungen einiger aristotelischer Syllogismen. Dabei bezeichnen Mengen. Man formuliere auch die einzelnen Mengenbeziehungen mittels Quantoren.
- Modus Barbara: Aus und folgt .
- Modus Celarent: Aus und folgt .
- Modus Darii: Aus und folgt .
- Modus Ferio: Aus und folgt .
- Modus Baroco: Aus und folgt .
Welche dieser Aussagen kann man durch Betrachten von Komplementen auf andere zurückführen?