Prädikatenlogik/Ableitbar/Allquantor/Fakt/Beweis/Aufgabe
Es sei ein Symbolalphabet erster Stufe, ein -Ausdruck und eine Variable. Zeige, dass genau dann gilt, wenn gilt.
Es sei ein
Symbolalphabet erster Stufe,
ein
-Ausdruck
und
eine Variable. Zeige, dass
genau dann gilt, wenn
gilt.