|
Enunciat |
llenguatge lògic |
llenguatge ordinari |
| x (Rx) |
Per a qualsevol x, x és vermell |
Tot és vermell |
| x (Rx—>Ex) |
Per a qualsevol x, si x és vermell, x és extens |
Tot el vermell és extens |
| x (Rx <—>Ex) |
Per a qualsevol x, x és vermell si i només si x és extens |
Tot és vermell i extens o ni vermell ni extens |
| ¬x (Rx) |
No és el cas que, per a tot x, x sigui vermell |
No tot és vermell |
| x (¬Rx) |
Per a tot x, x no és vermell |
Res és vermell |
| ¬x (Rx —>Ex) |
No és el cas que, per a tot x, si x és vermell llavors x és extens |
No tot el que és vermell és extens |
| x (Rx —>¬Ex) |
Per a tot x, si x és vermell, llavors x no és extens |
Res vermell és extens |
| x (Rx) |
Hi ha algun x tal que x és vermell |
Quelcom és vermell |
| x (Rx Ex) |
Hi ha algun x tal que x és vermell i extens |
Quelcom és vermell i extens alhora |
| ¬x (Rx) |
No és el cas que existeixi un x tal que x sigui vermell |
Res és vermell |
