Accions

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 (bot: - no és dóna + no es dóna)
 
(2 revisions intermèdies per 2 usuaris que no es mostren)
Línia 1: Línia 1:
 
{{ConcepteWiki}}
 
{{ConcepteWiki}}
Aquella en què apareix alguna [[variable|variable]] lliure, a saber, que no cau dins de l'[[aconsegueixi|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]].
+
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 es dóna entre l'abast del [[quantificador|quantificador]]. A una fórmula oberta se l'anomena també [[funció proposicional|funció proposicional]].
  
 
{{Etiqueta
 
{{Etiqueta

Revisió de 17:08, 29 oct 2017

 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 es dóna entre l'abast del quantificador. A una fórmula oberta se l'anomena també funció proposicional.