|
|
FiloXarxa Diccionari enciclopèdic de filosofia: autors, conceptes, textos |
| Cerca continguts al web Pensament: autors, conceptes, textos, obres ... |
Loading
|
| Enunciat |
llenguatge lògic |
llenguatge ordinari |
| "x(Rx) | Per a qualsevol x, x és roig | Tot és roig |
| "(Rx®Ex) | Per a qualsevol x, si x és roig, llavors és extens | Tot el que és roig és extens |
| "x(Rx↔Ex) | Per a qualsevol x, x és roig si, i solament si, és extens | Tot és roig i extens o no roig ni extens |
| ¬"x(Rx) | No és el cas que per tot x, x sigui roig | No tot és roig |
| "x(¬Rx) | Per a tot x, x no és roig | Res no és roig |
| ¬"x(Rx®Ex) | No és el cas que per tot x, si x és roig llavors x és extens | No tot el que és roig és extens |
| "x(Rx®¬Ex) | Per tot x, si x és vermell, llavors no és extens | Res roig és extens |
| $x(Rx) | Existeix algun x tal que x és roig | Alguna cosa és roja |
| $x(RxÙEx) | Hi ha algun x tal que x és roig i extens | Alguna cosa és roja i extensa alhora |
| ¬$x(Rx) | No és el cas que hi hagi un x tal que x sigui roig | Res és roig |
Aquesta obra està sota una llicència de Creative Commons.