Mengentheorie/Logik/Aristotelische Schlüsse/Aufgabe

Formalisiere die folgenden mengentheoretischen Fassungen einiger aristotelischer Syllogismen in der Prädikatenlogik erster Stufe.

  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 .