Capšalera
 FiloXarxa Diccionari enciclopŔdic de filosofia: autors, conceptes, textos

Temes  -

El saber filos˛fic El coneixement La realitat L'Ússer humÓ L'acciˇ humana La societat

Hist˛ria -

Filosofia antiga i medieval Filosofia moderna Filosofia contemporÓnia Mapa del web Ajuda i altres Descarregar "font grega"
Cerca continguts al web Pensament: autors, conceptes, textos, obres ...
Loading

fórmula tancada LĎG.

En els sistemes formals, aquella en què totes els seus variables apareixen lligades (veure exemple). Una variable, x, apareix lligada si:

1) segueix al quantificador universal "x o al quantificador existencial $x

2) o cau dins l'abast d'un quantificador, sent idèntica a la que li segueix immediatament.
 

Exemple:

$x(Fx«Gx)

és una fórmula tancada i un enunciat.

"x$x(Pxy)

és una fórmula tancada i un enunciat

Qx, Pxy

són fórmules obertes.

"x(Py«Qx)

és una fórmula oberta: la segona x cau fora de l'abast del quantificador; no és idèntica a la que li segueix immediatament.

 

 

 

 

 

 

 

 


Licencia de Creative Commons
Aquesta obra estÓ sota una llicŔncia de Creative Commons.