Normalformen

Für eine zweistellige Relation ρ auf M

(zum Beispiel eine Ersetzungsrelation R auf Term(Σ) )

heißt xM eine ρ -Normalform, falls ¬∃yM : ρ(x, y) .


Beachte: für passende ρ und x kann vorkommen:



Johannes Waldmann 2015-12-11