Diferència entre revisions de la pàgina «Exemple de deducció inútil»
De Wikisofia
m (bot: - conseqüència -aquesta o qualsevol altra- es + conseqüència –aquesta o qualsevol altra– es) |
|||
| (Una revisió intermèdia per un altre usuari que no es mostra) | |||
| Línia 1: | Línia 1: | ||
{{RecursWiki | {{RecursWiki | ||
|Tipus=Exemple | |Tipus=Exemple | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
}} | }} | ||
{{RecursBase | {{RecursBase | ||
| Línia 19: | Línia 11: | ||
«Estudio o no estudio. Per tant aprovo», <math>(p \vee ¬p)\rightarrow{r}</math> | «Estudio o no estudio. Per tant aprovo», <math>(p \vee ¬p)\rightarrow{r}</math> | ||
| − | on p = estudio, ¬ p = no estudio i r = aprovo, és fàcil demostrar que la conseqüència | + | 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> | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
{{InfoWiki}} | {{InfoWiki}} | ||
Revisió de 22:19, 16 set 2017
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):
