Accions

Recurs

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
}}
 
{{RecursoEnlace
 
|Enllaç=
 
}}
 
{{Multimèdia
 
|Upload Type=
 
|File=
 
|Embed=
 
 
}}
 
}}
 
{{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 -aquesta o qualsevol altra- es dedueix vàlidament (però inútilment, perquè en cap cas té garanties de ser veritable):
+
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>
{{Propietat
 
|Propi=No
 
|Allow=No
 
|Accept=No
 
}}
 
 
{{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):

E327-3cat.gif