Notes in Prädikatenlogik

To Subscribe, use this Key

Status	Last Update	Fields
Published	02/06/2024	Worüber trifft die Prädikatenlogik Aussagen?
Published	02/06/2024	Was sind bestimmte und unbestimmte Objekte?
Published	02/06/2024	Was sind Beziehungen?
Published	02/06/2024	Was bedeuten die Indizes der Attributzeichen und Funktionszeichen?
Published	02/06/2024	Wie ist die Sprache TERM (Syntax) definiert?
Published	02/06/2024	Wie ist die Sprache AUSD (Syntax) definiert?
Published	02/06/2024	Wie ist der Status von Variablen in Ausdrücken definiert? (gebunden, ...)
Published	02/06/2024	Wann wird ein Ausdruck eine Aussage?
Published	02/06/2024	Was ist die TERM Semantik?
Published	02/06/2024	Was ist die AUSD Semantik?
Published	02/06/2024	Vergleiche Cut-Ableiten in der Aussagenlogik mit der Prädikatenlogik.
Published	02/06/2024	Wie sind die Schritte um einen Ausdruck in Klauseln umzuwandeln? (Resolution)
Published	02/06/2024	Wie können -> und <-> beseitigt werden?
Published	02/06/2024	Wie wird eine Negation nach innen getrieben?
Published	02/06/2024	Wie werden Quanten nach vorne gebracht?
Published	02/06/2024	Wie werden freie Variablen gebunden?
Published	02/06/2024	Wie werden die ∃-Quantoren beseitigt? (Skolemisierung)
Published	02/06/2024	Wie wird die KNF hergestellt?
Published	02/06/2024	Wie werden die Allquantoren auf Klauseln verteilt?
Published	02/06/2024	Was ist Unifizierbarkeit, Unifikation, Unifikator?
Published	02/06/2024	Welche Terme können (wie) unifiziert werden?
Published	02/06/2024	Was ist die Ableitbarkeit per Resolution?
Status	Last Update	Fields