Accions

Recurs

Lògica: exemple d'arbres lògics

De Wikisofia

La revisió el 10:16, 5 feb 2015 per Sofibot (discussió | contribucions) (Es crea la pàgina amb «{{RecursWiki |Tipus=Exemple }} {{RecursoEnlace |Enllaç= }} {{Multimèdia |Upload Type= |File= |Embed= }} {{RecursBase |Nom=Lògica: exemple d'arbres l...».)
(dif.) ← Versió més antiga | Versió actual (dif.) | Versió més nova → (dif.)

 Plantilla:RecursoEnlace Plantilla:Multimèdia Exemple 3:

Sigui el raonament següent:

«Quan Anna canta, l'acompanya Raúl o ho fa Sabino. Però avui no l'acompanya Raúl, per tant, ja que Sabino tampoc l'acompanya, Anna no canta».

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

Exe1.gif

El seu arbre lògic és:

400px


El conjunt format per les premisses donades i la negació de la conclusió (el contrajemplo) é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. Plantilla:Propietat