Exemple de funció proposicional (fórmula amb variables lliures)
De Wikisofia
La revisió el 10:15, 5 feb 2015 per Sofibot (discussió | contribucions) (Es crea la pàgina amb «{{RecursWiki |Tipus=Exemple }} {{RecursoEnlace |Enllaç= }} {{Multimèdia |Upload Type= |File= |Embed= }} {{RecursBase |Nom=Exemple de funció proposici...».)
La revisió el 10:15, 5 feb 2015 per Sofibot (discussió | contribucions) (Es crea la pàgina amb «{{RecursWiki |Tipus=Exemple }} {{RecursoEnlace |Enllaç= }} {{Multimèdia |Upload Type= |File= |Embed= }} {{RecursBase |Nom=Exemple de funció proposici...».)
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