Mostra la font per a Lògica: formulació d'enunciats

{{RecursWiki
|Tipus=Exemple
}}
{{RecursoEnlace
|Enllaç=
}}
{{Multimèdia
|Upload Type=
|File=
|Embed=
}}
{{RecursBase
|Nom=Lògica: formulació d'enunciats
|Idioma=Espanyol
}}
{{Exemple}}

-----------------------------
{|Class="wikitable"
!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 
|}







{{Propietat
|Propi=No
|Allow=No
|Accept=No
}}
{{InfoWiki}}