Was ist Prädikatenlogik?
Eine Erweiterung der Aussagenlogik zur Modellierung von Objekten Relationen und Quantoren
Welches Hauptproblem der Aussagenlogik löst Prädikatenlogik?
Sie kann Beziehungen zwischen Objekten und Quantifizierungen ausdrücken
Was ist ein Prädikat?
Ein n-stelliges Relationssymbol das wahr oder falsch sein kann
Was ist die Arität eines Prädikats?
Die Anzahl der Argumente die ein Prädikat besitzt
Was ist ein einstelliges Prädikat?
Ein Prädikat das eine Eigenschaft eines Objekts beschreibt
Was ist ein mehrstelliges Prädikat?
Ein Prädikat das eine Beziehung zwischen mehreren Objekten beschreibt
Was ist eine Funktion in der Prädikatenlogik?
Eine Abbildung von Objekten auf Objekte die eindeutig und total ist
Worin unterscheidet sich ein Prädikat von einer Funktion?
Prädikate liefern Wahrheitswerte Funktionen liefern Objekte
Was ist ein Term?
Ein Ausdruck der ein Objekt bezeichnet
Welche Arten von Termen gibt es?
Konstanten Variablen und Funktionsausdrücke
Was ist eine atomare Formel?
Ein Prädikat angewendet auf Terme oder ein Gleichheitsausdruck
Was ist eine Variable?
Ein Platzhalter für Objekte im Universum
Was bedeutet der Allquantor ∀?
Die Aussage gilt für alle Objekte im Universum
Was bedeutet der Existenzquantor ∃?
Es existiert mindestens ein Objekt für das die Aussage gilt
Was ist der Gültigkeitsbereich Scope eines Quantors?
Der Teil der Formel auf den sich der Quantor bezieht
Was bedeutet freie Variable?
Eine Variable die nicht von einem Quantor gebunden ist
Was bedeutet gebundene Variable?
Eine Variable die im Gültigkeitsbereich eines Quantors steht
Was ist eine Interpretation in der Prädikatenlogik?
Eine Zuordnung von Bedeutungen zu Konstanten Funktionen und Prädikaten
Was ist der Unterschied zwischen erster und höherer Ordnung?
Erste Ordnung quantifiziert nur über Objekte höhere Ordnung auch über Prädikate
Warum ist Prädikatenlogik ausdrucksstärker als Aussagenlogik?
Weil sie Objekte Relationen und Quantoren modellieren kann
Last changed9 days ago