Diferència entre revisions de la pàgina «Exemple de deducció inútil»
De Wikisofia
| Línia 18: | Línia 18: | ||
Si se suposa: | Si se suposa: | ||
| − | + | «Estudio o no estudio. Per tant aprovo», <math>(p \vee ¬p)\rightarrow{r}</math> | |
| − | on p = estudio, ¬ p = no | + | on p = estudio, ¬ p = no estudio i r = aprovo, és fàcil demostrar que la conseqüència -aquesta o qualsevol altra- es dedueix vàlidament (però inútilment, perquè en cap cas té garanties de ser veritable): |
<center>[[Image:e327-3cat.gif|350px]]</center> | <center>[[Image:e327-3cat.gif|350px]]</center> | ||
Revisió del 15:55, 25 abr 2015
Plantilla:RecursoEnlace Plantilla:Multimèdia
Si se suposa:
«Estudio o no estudio. Per tant aprovo», [math]\displaystyle{ (p \vee ¬p)\rightarrow{r} }[/math] on p = estudio, ¬ p = no estudio i r = aprovo, és fàcil demostrar que la conseqüència -aquesta o qualsevol altra- es dedueix vàlidament (però inútilment, perquè en cap cas té garanties de ser veritable):
