Lògica: formulació d'enunciats
De Wikisofia
| Llenguatge lògic | Enunciat | 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 no é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) | Existeix algun x tal que x és vermell | Alguna cosa és vermella |
| ∃x(Rx∧Ex) | Hi ha algun x tal que x és vermell i extens | Alguna cosa és vermell i extens alhora |
| ¬(∃x(Rx)) | No és el cas que existeixi un x tal que x sigui vermell | Res és vermell |