Diferència entre revisions de la pàgina «Fórmula oberta»
De Wikisofia
(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...».) |
m (Text de reemplaçament - "[[aconsegueixi" a "[[abast") |
||
| Línia 1: | Línia 1: | ||
{{ConcepteWiki}} | {{ConcepteWiki}} | ||
| − | Aquella en què apareix alguna [[variable|variable]] lliure, a saber, que no cau dins de l'[[ | + | Aquella en què apareix alguna [[variable|variable]] lliure, a saber, que no cau dins de l'[[abast|abast]] d'un quantificador. Així, en <math>\forall x(Qxy\rightarrow Rxy)</math> la variable ''y'' és lliure; no és dóna entre l'abast del [[quantificador|quantificador]]. A una fórmula oberta se l' anomena també [[funció proposicional|funció proposicional]]. |
{{Etiqueta | {{Etiqueta | ||
Revisió del 16:50, 12 abr 2015
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.