Accions

Recurs

Diferència entre revisions de la pàgina «Lògica: exemple d'arbres lògics»

De Wikisofia

m (Text de reemplaçament - "Sabino" a "en Joel")
 
(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 19: Línia 11:
 
Sigui el raonament següent:
 
Sigui el raonament següent:
  
«Quan Anna canta, l'acompanya Raül o ho fa en Joel. Però avui no l'acompanya Raül, per tant, ja que en Joel tampoc l'acompanya, Anna no canta».
+
«Quan n'Anna canta, l'acompanya en Raül o ho fa en Joel. Però avui no l'acompanya en Raül, per tant, ja que en Joel tampoc l'acompanya, n'Anna no canta».
  
 
Que pot formalitzar-se de la següent manera:
 
Que pot formalitzar-se de la següent manera:
Línia 50: Línia 42:
  
 
Prou una sola combinació de valors que facin inconsistent el conjunt perquè disposem d'un contraexemple que fa invàlid el raonament (en aquest cas, p = 0 o 1, q = 1, r = 1, s = 0, t = 0.
 
Prou una sola combinació de valors que facin inconsistent el conjunt perquè disposem d'un contraexemple que fa invàlid el raonament (en aquest cas, p = 0 o 1, q = 1, r = 1, s = 0, t = 0.
{{Propietat
 
|Propi=No
 
|Allow=No
 
|Accept=No
 
}}
 
 
{{InfoWiki}}
 
{{InfoWiki}}

Revisió de 14:15, 5 set 2015

 Exemple 3:

Sigui el raonament següent:

«Quan n'Anna canta, l'acompanya en Raül o ho fa en Joel. Però avui no l'acompanya en Raül, per tant, ja que en Joel tampoc l'acompanya, n'Anna no canta».

Que pot formalitzar-se de la següent manera:

Exe1.gif

El seu arbre lògic és:

2307U.png


El conjunt format per les premisses donades i la negació de la conclusió (el contraexemple) és inconsistent; per tant el raonament és vàlid.


En canvi, en el següent cas, el raonament no és vàlid:

Sigui

Exe2.gif

El seu arbre lògic és:

2307V.png

La branca en què es troba r no està tancada; per tant, el conjunt format per les premisses i la negació de la conclusió no és inconsistent. Per tant, el conjunt donat

Exe3.gif

és inconsistent, i la branca que queda sense tancar inclou els valors del contraexemple.

Prou una sola combinació de valors que facin inconsistent el conjunt perquè disposem d'un contraexemple que fa invàlid el raonament (en aquest cas, p = 0 o 1, q = 1, r = 1, s = 0, t = 0.