Prädikatenlogik/Folgerung/Über Modelle/Definition
Folgerung
Es sei ein Symbolalphabet erster Stufe, eine Menge von -Ausdrücken und ein -Ausdruck. Man sagt, dass aus folgt, geschrieben , wenn für jede -Interpretation mit auch gilt.
Es sei ein
Symbolalphabet
erster Stufe,
eine Menge von
-Ausdrücken
und
ein
-Ausdruck. Man sagt, dass
aus
folgt,
geschrieben
, wenn für jede
-Interpretation
mit
auch
gilt.