Accions

Recurs

Diferència entre revisions de la pàgina «Lògica: formulació d'enunciats»

De Wikisofia

(Es crea la pàgina amb «{{RecursWiki |Tipus=Exemple }} {{RecursoEnlace |Enllaç= }} {{Multimèdia |Upload Type= |File= |Embed= }} {{RecursBase |Nom=Lògica: formulació d'enunciat...».)
 
 
(Una revisió intermèdia per un altre usuari que no es mostra)
Línia 1: Línia 1:
 
{{RecursWiki
 
{{RecursWiki
 
|Tipus=Exemple
 
|Tipus=Exemple
−
}}
 
−
{{RecursoEnlace
 
−
|Enllaç=
 
−
}}
 
−
{{Multimèdia
 
−
|Upload Type=
 
−
|File=
 
−
|Embed=
 
 
}}
 
}}
 
{{RecursBase
 
{{RecursBase
Línia 15: Línia 7:
 
}}
 
}}
 
{{Exemple}}
 
{{Exemple}}
−
{|
 
−
| width="28%" | '''''Enunciat'''''
 
−
|}
 
−
 
−
{|
 
−
| width="29%" | ''''' llenguatge lògic'''''
 
−
|}
 
−
 
−
{|
 
−
| width="43%" | ''''' llenguatge ordinari'''''
 
−
|}
 
−
 
−
 
−
{|
 
−
| width="28%" | '''''<math> \forall{x} (Rx)</math>'''''
 
−
|}
 
  
−
{|
+
-----------------------------
−
| width="29%" | Per a qualsevol x, x és vermell
+
{|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  
 
|}
 
|}
  
−
{|
 
−
| width="43%" | Tot és vermell
 
−
|}
 
  
  
−
{|
 
−
| width="28%" | '''''<math> \forall{x} (Rx→Ex)</math>'''''
 
−
|}
 
  
−
{|
 
−
| width="29%" | Per a qualsevol x, si x és vermell, x és extens
 
−
|}
 
  
−
{|
 
−
| width="43%" | Tot el vermell és extens
 
−
|}
 
  
  
−
{|
 
−
| width="28%" | '''''<math> \forall{x} (Rx\leftrightarrow{Ex})</math>'''''
 
−
|}
 
−
 
−
{|
 
−
| width="29%" | Per a qualsevol x, x és vermell si i només si x és extens
 
−
|}
 
−
 
−
{|
 
−
| width="43%" | Tot és vermell i extens o ni vermell ni extens
 
−
|}
 
−
 
−
 
−
{|
 
−
| width="28%" | '''''<math> ¬\forall{x} (Rx)</math>'''''
 
−
|}
 
−
 
−
{|
 
−
| width="29%" | No és el cas que, per a tot x, x sigui vermell
 
−
|}
 
−
 
−
{|
 
−
| width="43%" | No tot és vermell
 
−
|}
 
−
 
−
 
−
{|
 
−
| width="28%" | '''''<math>\forall{x} (¬Rx)</math>'''''
 
−
|}
 
−
 
−
{|
 
−
| width="29%" | Per a tot x, x no és vermell
 
−
|}
 
−
 
−
{|
 
−
| width="43%" | Res és vermell
 
−
|}
 
−
 
−
 
−
{|
 
−
| width="28%" | '''''<math>( ¬\forall{x} (Rx→Ex))</math>'''''
 
−
|}
 
−
 
−
{|
 
−
| width="29%" | No és el cas que, per a tot x, si x és vermell llavors x és extens
 
−
|}
 
−
 
−
{|
 
−
| width="43%" | No tot el que és vermell és extens
 
−
|}
 
−
 
−
 
−
{|
 
−
| width="28%" | '''''<math>(\forall{x} (Rx→¬Ex))</math>'''''
 
−
|}
 
−
 
−
{|
 
−
| width="29%" | Per a tot x, si x és vermell, llavors x no és extens
 
−
|}
 
−
 
−
{|
 
−
| width="43%" | Res vermell és extens
 
−
|}
 
−
 
−
 
−
{|
 
−
| width="28%" | '''''<math>\exists{x}(Rx)</math>'''''
 
−
|}
 
−
 
−
{|
 
−
| width="29%" | Existeix algun x tal que x és vermell
 
−
|}
 
−
 
−
{|
 
−
| width="43%" | Alguna cosa és vermell
 
−
|}
 
−
 
−
 
−
{|
 
−
| width="28%" | '''''<math>\exists{x}(Rx \wedge Ex)</math>'''''
 
−
|}
 
−
 
−
{|
 
−
| width="29%" | Hi ha algun x tal que x és vermell i extens
 
−
|}
 
−
 
−
{|
 
−
| width="43%" | Alguna cosa és vermell i extens alhora
 
−
|}
 
−
 
−
 
−
{|
 
−
| width="28%" | '''''<math>¬(\exists{x}(Rx))</math>'''''
 
−
|}
 
−
 
−
{|
 
−
| width="29%" | No és el cas que existeixi un x tal que x sigui vermell
 
−
|}
 
−
 
−
{|
 
−
| width="43%" | Res és vermell
 
−
|}
 
−
{{Propietat
 
−
|Propi=No
 
−
|Allow=No
 
−
|Accept=No
 
−
}}
 
 
{{InfoWiki}}
 
{{InfoWiki}}

Revisió de 14:15, 5 set 2015

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




Obtingut de «https://www.wikisofia.cat/w/index.php?title=Recurs:Lògica:_formulació_d%27enunciats&oldid=19425»