Variabile libera: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Riga 18:
* se <math>\mathcal A</math> ha la forma <math>\forall x_i \mathcal B</math> oppure <math>\exists x_i \mathcal B</math> allora ''x'' occorre libera in <math>\mathcal A</math> se occorre libera in <math>\mathcal B</math> e <math>x\neq x_i</math>
Il fatto che questa definizione ricorsiva sia ben posta è garantito dal [[teorema di ricorsione]] assieme con il [[teorema di leggibilità unica]].
[[categoria: logica matematica]]
| |||