Variabile libera: differenze tra le versioni

Versione delle 02:24, 27 dic 2013

Versione delle 09:30, 22 lug 2016

Riga 1:

{{F|matematica|aprile 2012}}

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.

===Operatori che vincolano la variabili===

Ognuno dei seguenti operatori vincola la variabile ''x''.

: <math>\sum_{x\in S}

\quad\quad \prod_{x\in S}

\quad\quad \int_0^\infty\,dx

\quad\quad \lim_{x\to 0}

\quad\quad \forall x

\quad\quad \exists x</math>

==Esempi==