Prädikatenlogik/Ausdrucksmenge/Ableitbar/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Ableitbar aus Ausdrucksmenge (Prädikatenlogik)

Es sei ein Symbolalphabet, eine Menge an -Ausdrücken

und ein weiterer -Ausdruck. Man sagt, dass aus ableitbar ist, geschrieben
wenn es endlich viele Ausdrücke derart gibt, dass

gilt.