Variabile libera: differenze tra le versioni

Versione delle 17:02, 22 apr 2019

Versione delle 16:56, 9 lug 2020

Riga 20:

* Nella formula

:<math>\forall x A(x,y)</math>

(dove <math>A</math> è un simbolo per predicato binario) sono presenti le variabili <math>x</math> e <math>y</math> di cui <math>y</math> occorre libera (non ci sono quantificatori su <math>y</math>) ma <math>x</math> no.

* Nella formula

Riga 34:

Il fatto che questa definizione ricorsiva sia ben posta è garantito dal [[teorema di ricorsione]] assieme con il [[teorema di leggibilità unica]].

== Collegamenti esterni ==

* {{Collegamenti esterni}}

{{Portale|matematica}}