Variabile libera: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
correzione, che concorda anche con la definizione ricorsiva data sotto e che è necessaria data la definizione di fbf riportata alla rispettiva pagina |
Nessun oggetto della modifica |
||
Riga 1:
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.
==Esempi==
| |||