Diferència entre revisions de la pàgina «Exemple de funció proposicional (fórmula amb variables lliures)»
De Wikisofia
(Es crea la pàgina amb «{{RecursWiki |Tipus=Exemple }} {{RecursoEnlace |Enllaç= }} {{Multimèdia |Upload Type= |File= |Embed= }} {{RecursBase |Nom=Exemple de funció proposici...».) |
(Cap diferència)
|
Revisió del 10:15, 5 feb 2015
Plantilla:RecursoEnlace Plantilla:Multimèdia
∀x (x no pertorba a y) és un enunciat quantificat; però no és est el cas de "Res no pertorba a x", si s'interpreta com ∀y (y no pertorba a x) que, igual que "x estima a y" és una funció proposicional. Plantilla:Propietat