Mengentheorie/Logik/Aristotelische Schlüsse/Aufgabe

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

1. Modus Barbara: Aus ${}B\subseteq A$ und ${}C\subseteq B$ folgt ${}C\subseteq A$.
2. Modus Celarent: Aus ${}B\cap A=\emptyset$ und ${}C\subseteq B$ folgt ${}C\cap A=\emptyset$.
3. Modus Darii: Aus ${}B\subseteq A$ und ${}C\cap B\neq \emptyset$ folgt ${}C\cap A\neq \emptyset$.
4. Modus Ferio: Aus ${}B\cap A=\emptyset$ und ${}C\cap B\neq \emptyset$ folgt ${}C\not \subseteq A$.
5. Modus Baroco: Aus ${}B\subseteq A$ und ${}B\not \subseteq C$ folgt ${}A\not \subseteq C$.

Eine Lösung erstellen