Diferència entre revisions de la pàgina «Exemple de variables lliures i lligades (2)»
De Wikisofia
(Es crea la pàgina amb «{{RecursWiki |Tipus=Exemple }} {{RecursoEnlace |Enllaç= }} {{Multimèdia |Upload Type= |File= |Embed= }} {{RecursBase |Nom=Exemple de variables lliures...».) |
|||
| Línia 1: | Línia 1: | ||
{{RecursWiki | {{RecursWiki | ||
|Tipus=Exemple | |Tipus=Exemple | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
}} | }} | ||
{{RecursBase | {{RecursBase | ||
| Línia 17: | Línia 9: | ||
En «gens pertorba el seu somni», podem substituir per variables: "Res pertorba a X" o ∀y (y no pertorba a x), on y apareix lligada, mentre que x apareix lliure. En canvi, en "Ningú es pertorba a si mateix", ∀x (x no pertorba a x), les tres succeeixen lligades | En «gens pertorba el seu somni», podem substituir per variables: "Res pertorba a X" o ∀y (y no pertorba a x), on y apareix lligada, mentre que x apareix lliure. En canvi, en "Ningú es pertorba a si mateix", ∀x (x no pertorba a x), les tres succeeixen lligades | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
{{InfoWiki}} | {{InfoWiki}} | ||
Revisió de 13:51, 5 set 2015
En «gens pertorba el seu somni», podem substituir per variables: "Res pertorba a X" o ∀y (y no pertorba a x), on y apareix lligada, mentre que x apareix lliure. En canvi, en "Ningú es pertorba a si mateix", ∀x (x no pertorba a x), les tres succeeixen lligades