Variabile libera e vincolata

Messaggioda Salvy95 » 02/09/2019, 15:15

Ciao a tutti.
sto attualmente approfondendo la logica formale.
Leggo che per definizione una variabile si dice vincolata in una data formula A(x), se essa è preceduta da quantificatori.
È libera se il quantificatore per una data variabile non precede la formula.
Non riesco proprio a capire il perché. Cosa c'è di vincolante nel "per ogni"?
A maggior ragione io dedurrei una maggiore libertà per la variabile.
Qualcuno potrebbe aiutarmi a capire, anche con qualche esempio?
Grazie a tutti
Salvy95
Starting Member
Starting Member
 
Messaggio: 1 di 10
Iscritto il: 02/09/2019, 15:10

Re: Variabile libera e vincolata

Messaggioda Ancona » 03/09/2019, 12:44

Non riesco proprio a capire il perché. Cosa c'è di vincolante nel "per ogni"?
A maggior ragione io dedurrei una maggiore libertà per la variabile.
Qualcuno potrebbe aiutarmi a capire, anche con qualche esempio?
Grazie a tutti


"per ogni numero naturale $n$, $n$ è pari", ti sembra ci sia qualcosa di libero?
Ancona
Junior Member
Junior Member
 
Messaggio: 35 di 144
Iscritto il: 18/07/2019, 17:17

Re: Variabile libera e vincolata

Messaggioda Salvy95 » 03/09/2019, 13:59

One shoot, one goal.
Grazie mille :)
Salvy95
Starting Member
Starting Member
 
Messaggio: 2 di 10
Iscritto il: 02/09/2019, 15:10


Torna a Algebra, logica, teoria dei numeri e matematica discreta

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite