2.1Prädikatenlogik

Grundbegriffe der Prädikatenlogik

Terme, Prädikate und Quantoren über einem Universum – die Sprache, in der auch Datenbankabfragen formuliert sind.

Leitformel
∀x (P(x)⇒∃y Q(x,y))\forall x\, \big(P(x) \Rightarrow \exists y\, Q(x, y)\big)
Lernziel

Prädikatenlogische Formeln bilden und interpretieren, freie und gebundene Variablen erkennen und Formeln in Negations- und Pränex-Normalform bringen.

Einheit wird geladen …