Mengentheorie/Aristotelische Schlüsse/1/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Beweise die mengentheoretischen Fassungen einiger aristotelischer Syllogismen. Dabei bezeichnen Mengen.

  1. Modus Barbara: Aus und folgt .
  2. Modus Celarent: Aus und folgt .
  3. Modus Darii: Aus und folgt .
  4. Modus Ferio: Aus und folgt .
  5. Modus Baroco: Aus und folgt .
Eine Lösung erstellen