fórmula oberta LÒG.

Aquella en què apareix alguna variable lliure, a saber, que no cau dins l’abast d’un quantificador. Així, en la fórmula

"x(Qxy®Rxy)

la variable y és lliure; no es dóna dins l’abast del quantificador. A una fórmula oberta se l’anomena també funció proposicional.

 

Licencia de Creative Commons
Aquesta obra està sota una llicència de Creative Commons.