|
|
FiloXarxa Diccionari enciclopèdic de filosofia: autors, conceptes, textos |
| Cerca continguts al web Pensament: autors, conceptes, textos, obres ... |
Loading
|
Exemples d'enunciats quantificats amb més d'una variable
| "x"y(Exy®Ayx) |
Per a tot x y per a tot y, si x estima a y, y se sent agraïda a x; Sempre que una persona estima a una altra aquesta l’hi agraeix. |
|
|
|
||
| "y$x(Bxy) |
Per a tot y hi ha algun x que és la seva ànima bessona; Tota ànima té la seva ànima bessona. |
|
|
|
||
| "y$x(Exy) |
Per a tot y hi ha algun x tal que x estima a y; Tothom estima a algú. |
|
|
|
||
| "x"y(Exy) |
Per a tot x i per a tot y, x estima a y; Tothom estima a tot el món. |
|
|
|
||
| $x$y(Exy) |
Per a algun x i per a algun y, x estima a y; Algú estima a algú. |
|
|
|
||
| $x"y(Exy) |
Per a algun x y per a tot y, x estima a y; Algú estima a tot el món. |
|
|
|
||
| "x"y(¬Axy®Mxy) |
Per a tot x y 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 molestos amb ell. |
|
|
|
||
| ¬"x"y(Exy) |
No per a tot x y per a tot y, x estima a y; No tothom estima a tot el món. |
Aquesta obra està sota una llicència de Creative Commons.