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...».) |
|||
| Línia 15: | Línia 15: | ||
}} | }} | ||
{{Exemple}} | {{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 | {{Propietat | ||
|Propi=No | |Propi=No | ||
Revisió del 21:54, 9 juny 2015
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 |