Recurs:Lògica: formulació d'enunciats

---

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