Diferència entre revisions de la pàgina «Exemple de deducció inútil»
De Wikisofia
| Línia 21: | Línia 21: | ||
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): | 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): | ||
| − | [[Image:e327-3cat.gif| | + | <center>[[Image:e327-3cat.gif|300px]]</center> |
{{Propietat | {{Propietat | ||
|Propi=No | |Propi=No | ||
Revisió del 15:51, 25 abr 2015
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):
