Accions

Recurs

Exemple de deducció inútil

De Wikisofia

La revisió el 10:18, 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=Exemple de deducció inútil |...».)
(dif.) ← Versió més antiga | Versió actual (dif.) | Versió més nova → (dif.)

Plantilla:RecursoEnlace Plantilla:Multimèdia

Si se suposa:

«Estudi i no estudi. Per tant aprovo», [math]\displaystyle{ (p \vee ¬p)\rightarrow{r} }[/math] on p = estudio, ¬ p = no estudi i r = aprovo, és fàcil demostrar que la conseqüència -aquesta o qualsevol una altra- es dedueix vàlidament (però inútilment, perquè en cap cas té garanties de ser veritable):

400px Plantilla:Propietat