vollfreie Variable
Sign in to saveAlso known as real variable
ungebundene Variable in einem logischen Ausdruck
Wikidata facts
- Subclass of
- variable
- Part of
- free and bound variables
Show 2 more facts
- opposite of
- bound variable
- Stack Exchange tag
- proofassistants.stackexchange.com/tags/free-variables
via Wikidata · CC0
Article · Deutsch
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.
Abstract from DBpedia / Wikipedia · CC BY-SA