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...».) |
|||
| Línia 1: | Línia 1: | ||
{{RecursWiki | {{RecursWiki | ||
|Tipus=Exemple | |Tipus=Exemple | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
}} | }} | ||
{{RecursBase | {{RecursBase | ||
| Línia 21: | Línia 13: | ||
∀y (y no pertorba a x) | ∀y (y no pertorba a x) | ||
que, igual que "x estima a y" és una funció proposicional. | que, igual que "x estima a y" és una funció proposicional. | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
{{InfoWiki}} | {{InfoWiki}} | ||
Revisió de 13:49, 5 set 2015
∀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.