variabile libera, cattura di una

variabile libera, cattura di una

variabile libera, cattura di una in logica, procedura che si verifica quando, nel rinominare una variabile che in una formula è legata da un quantificatore, si utilizza una lettera già impiegata per indicare una variabile libera. Tale procedura non garantisce una deduzione corretta perché la variabile, precedentemente libera, viene così “catturata” e ricade ora nell’ambito del quantificatore stesso, potendo in tal modo modificare il valore di verità della formula (→ variabile legata).