Variabile libera: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
m Bot: correzione delle sezioni con gerarchia errata |
||
Riga 2:
In [[logica matematica]] e in particolare in un [[linguaggio del primo ordine]] si dice che una '''[[variabile (matematica)|variabile]]''' occorre '''libera''' in una [[formula ben formata]] <math>\mathcal A</math> se nella formula tale variabile appare al di fuori del dominio di un quantificatore sulla variabile stessa.
Ognuno dei seguenti operatori vincola la variabile ''x''.
| |||