Diferència entre revisions de la pàgina «Exemple de lletres de predicat»
De Wikisofia
(Es crea la pàgina amb «{{RecursWiki |Tipus=Exemple }} {{RecursoEnlace |Enllaç= }} {{Multimèdia |Upload Type= |File= |Embed= }} {{RecursBase |Nom=Exemple de lletres de predic...».) |
m (bot: - persona estima a una altra aquesta l'hi agraeix. + persona n'estima una altra aquesta li ho agraeix.) |
||
| (2 revisions intermèdies per 2 usuaris que no es mostren) | |||
| Línia 1: | Línia 1: | ||
{{RecursWiki | {{RecursWiki | ||
|Tipus=Exemple | |Tipus=Exemple | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
}} | }} | ||
{{RecursBase | {{RecursBase | ||
| Línia 18: | Línia 10: | ||
Per a tot x i per a tot y, si x estima a y, y se sent agraïda a x; | Per a tot x i per a tot y, si x estima a y, y se sent agraïda a x; | ||
| − | Sempre que una persona estima | + | Sempre que una persona n'estima una altra aquesta li ho agraeix. |
| Línia 58: | Línia 50: | ||
<math> \forall{x} \forall{y} (¬Axy \rightarrow{}Mxy)</math> | <math> \forall{x} \forall{y} (¬Axy \rightarrow{}Mxy)</math> | ||
| − | Per a tot x i per a tot y, si no succeeix que x és amic | + | Per a tot x i per a tot y, si no succeeix que x és amic de y, x se sent molest amb y; |
Quan no s'és amic d'algú ens és fàcil sentir-nos molests amb ell. | Quan no s'és amic d'algú ens és fàcil sentir-nos molests amb ell. | ||
| Línia 69: | Línia 61: | ||
No tothom estima a tothom. | No tothom estima a tothom. | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
{{InfoWiki}} | {{InfoWiki}} | ||
Revisió de 10:59, 7 feb 2018
[math]\displaystyle{ \forall{x} \forall{y} (Axy \rightarrow{}Gyx) }[/math]
Per a tot x i per a tot y, si x estima a y, y se sent agraïda a x;
Sempre que una persona n'estima una altra aquesta li ho agraeix.
[math]\displaystyle{ \forall{y} \exists{x}(Gxy) }[/math]
Per tot y hi ha algun x que és la seva ànima bessona;
Tota ànima té la seva ànima bessona.
[math]\displaystyle{ \forall{y} \exists{x}(Axy) }[/math]
Per tot y hi ha algun x que estima a y;
Tothom estima a algú.
[math]\displaystyle{ \forall{x} \forall{y} (Axy) }[/math]
Per a tot x i per a tot y, x estima a y;
Tothom estima a tothom.
[math]\displaystyle{ \exists{x} \exists{y}(Axy) }[/math]
Per a algun x i per algun y, x estima a y;
Algú estima a algú.
[math]\displaystyle{ \exists{x} \forall{y} (Axy) }[/math]
Per a algun x i per a tot y, x estima a y;
Algú estima a tothom.
[math]\displaystyle{ \forall{x} \forall{y} (¬Axy \rightarrow{}Mxy) }[/math]
Per a tot x i per a tot y, si no succeeix que x és amic de y, x se sent molest amb y;
Quan no s'és amic d'algú ens és fàcil sentir-nos molests amb ell.
[math]\displaystyle{ ¬ \forall{x} \forall{y} (Axy) }[/math]
No per a tot x i per a tot y, x estima a y;
No tothom estima a tothom.