Accions

Recurs

Lògica: formulació d'enunciats

De Wikisofia

Plantilla:RecursoEnlace Plantilla:Multimèdia


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




Plantilla:Propietat