Vollfreie Variable
Eine Variable bezeichnet man als vollfrei in einer Formel der Prädikatenlogik, wenn sie in der Formel an wenigstens einer Stelle vorkommt, aber nirgendwo innerhalb der Formel quantifiziert ist.
Die Unterscheidung zwischen freien und vollfreien Variablen ist technischer Natur. Für die logische Bedeutung einer Formel ist sie ohne Relevanz, da man jede Formel durch gebundene Umbenennung in eine logisch äquivalente umformen kann, in der alle freien Variablen tatsächlich vollfrei sind.
Beispiele
- In der Formel sind sowohl als auch vollfreie Variablen.
- In der Formel ist vollfrei, hingegen nicht, da sowohl ein freies als auch ein gebundenes Vorkommen hat.
- Aus der Formel kann man durch gebundene Umbenennung die logisch äquivalente Formel erhalten, in der beide freien Variablen und vollfrei sind.
Weblinks
- Vorlesungsskriptum „Logische Grundlagen der Informatik“ (PDF-Datei; 1,07 MB)
🔥 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