Lernmodul: Prädikatenlogik
Einleitung in das Themengebiet
Wir haben uns in den ersten beiden Lernmodulen dieses Kurses mit Aussagen beschäftigt. Wir betrachteten atomare Aussagen und ihre Verknüpfungen zu komplexen Aussagen. Eine weitere Untergliederung der einfachen Aussagen hinsichtlich ihrer Struktur fand hierbei jedoch nicht statt.
Wir können z.B. aus den beiden Aussagen "Alle Metalle leiten den Strom." und "Kupfer ist ein Metall." auch ohne Anwendung der Logik den Schluss ziehen, dass Kupfer den Strom leitet. Schauen wir uns die innere Struktur der Aussagen an, so erkennt man Gemeinsamkeiten:
\(\tiny\blacksquare\quad\) | Aussage "Kupfer ist ein Metall.": |
\(\tiny\blacksquare\quad\) | Aussage "Alle Metalle leiten den Strom.": |
Deshalb lässt sich in der Schlussfolgerung dem Objekt Kupfer auch die Eigenschaft stromleitend zuordnen.
Wir sehen also, dass die Analyse nach Objekten und ihren Eigenschaften (Prädikaten) den inneren Zusammenhang von Aussagen verdeutlicht. In der Prädikatenlogik beschäftigt man sich mit der mathematische Untersuchung dieser Objekte. Auf diese Weise lassen sich mathematische Sätze mit einer einheitlichen Sprache darstellen.
- Aussageformen von Aussagen unterscheiden,
- mit Quantoren arbeiten,
- Aussagen in natürlicher Sprache in formale Schreibweise umformen,
- Aussagen in formaler Schreibweise in natürliche Sprache wiedergeben,
- Regeln für Aussagen mit Quantoren anwenden.
\(\enspace\)