Fórmula oberta
De Wikisofia
La revisió el 09:47, 5 feb 2015 per Sofibot (discussió | contribucions) (Es crea la pàgina amb «{{ConcepteWiki}} Aquella en què apareix alguna variable lliure, a saber, que no cau dins de l'abast d'un quantificador. Així, en <m...».)
La revisió el 09:47, 5 feb 2015 per Sofibot (discussió | contribucions) (Es crea la pàgina amb «{{ConcepteWiki}} Aquella en què apareix alguna variable lliure, a saber, que no cau dins de l'abast d'un quantificador. Així, en <m...».)
Aquella en què apareix alguna variable lliure, a saber, que no cau dins de l'abast d'un quantificador. Així, en [math]\displaystyle{ \forall x(Qxy\rightarrow Rxy) }[/math] la variable y és lliure; no és dóna entre l'abast del quantificador. A una fórmula oberta se l' anomena també funció proposicional.