variabile libera
Sign in to saveAlso known as real variable
variabile di una formula logica non presente nello scope di un quantificatore
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 · Italiano
In logica matematica e in particolare in un linguaggio del primo ordine si dice che una variabile occorre libera in una formula ben formata se nella formula tale variabile appare al di fuori del dominio di un quantificatore sulla variabile stessa.
Abstract from DBpedia / Wikipedia · CC BY-SA