Bereinigte Normalform
In der Prädikatenlogik heißt eine Formel bereinigt, wenn
- keine Variable in der Formel einmal als freie und als gebundene Variable vorkommt,
- hinter jedem Quantor eine andere Variable steht.
Zu jeder Formel gibt es eine äquivalente bereinigte Formel.Jede Formel lässt sich durch geeignete, gebundene Umbenennung in eine bereinigte Form überführen.
Beispiel
In der Formel sind die Variablen und gebunden und ist frei. ist somit bereinigt. In der Formel sind alle Vorkommen der Variable gebunden, allerdings tritt sowohl gebunden als auch frei auf. ist daher nicht in bereinigter Form. Eine Überführung für ist folgende Umbenennung (bei der Umbenennung müssen die gebundenen Variablen umbenannt werden):
Siehe auch
🔥 Top keywords: Wikipedia:HauptseiteSpezial:SucheRobert FicoSpecial:MyPage/toolserverhelferleinconfig.jsNeukaledonienListe der größten AuslegerbrückenPetr BystronMohammed Hassan (Bergträger)Joan CollinsZigeunerlager AuschwitzDamian HardungBridgertonNetiporn SanesangkhomHuhu-KäferChatGPTSlowakeiPfingstenYasukeMontius MagnusHauptseiteMaxton Hall – Die Welt zwischen unsEishockey-Weltmeisterschaft der Herren 202416. MaiNekrolog 2024Fußball-Europameisterschaft 2024Deine JulietWikipedia:Wiki Loves Earth 2024/DeutschlandDatei:Germany adm location map.svgDeutschlandMarinus van der LubbePornhubNatriumazidHarriet Herbig-MattenChristian KohlundBjörn HöckeTabunDavid Copperfield (Zauberkünstler)Nina ChubaRammstein