Suche diesen Artikel in der aktuellen Wikipedia

[Home]Prädikatorenlogik

HomePage | RecentChanges | Preferences

Die Prädikatorenlogik ist ein Zweig der mathematischen Logik, der wie auch die Aussagenlogik den Wahrheitsgehalt kombinierter Aussagen untersucht. Die Sätze sind hier in Erweiterung zur Aussagenlogik mit Quantoren versehen, die Aussagen über die Lösungszahl machen. Der ALL-Quantor sagt, dass für Alle betrachteten Elemente oder Elementkombinationen eine (zusammengesetzte) Aussage zutrifft. Der EXISTENZ-Quantor sagt, dass mindestens für ein Element der betrachteten Elemente oder Elementekombinationen eine (zusammengesetzte) Aussage zutrifft. --- siehe Logik

HomePage | RecentChanges | Preferences
This page is read-only | View other revisions
Last edited June 11, 2001 1:05 am by StefanRybo (diff)
Search: