Prädikatenlogik/Ausdrucksmenge/Ableitbar/Definition
(Weitergeleitet von Prädikatenkalkül/Ableitbar/Definition)
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, geschriebengilt.