Zum Inhalt springen

Prädikatenlogik/Folgerung/Über Modelle/Definition

Aus Wikiversity
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.