Accions

Recurs

Diferència entre revisions de la pàgina «Taula de veritat d'un raonament»

De Wikisofia

(espais sobrants)
 
Línia 10: Línia 10:
 
Sigui el següent raonament:
 
Sigui el següent raonament:
  
«Si somni, desig, i si estic despert, anhelo, i o somni o estic despert; per tant o desig o anhelo», la formalització del qual pot ser:
+
«Si somio, desitjo, i si estic despert, em deleixo, i o somio o estic despert; per tant o desitjo o em deleixo», la formalització del qual pot ser:
 +
<center> <math>[[(p\rightarrow q)]\wedge (r\rightarrow s)]\wedge (p\vee r)]\rightarrow q\vee s</math></center>
  
 
la taula de veritat d'aquest «dilema constructiu» és la següent:
 
la taula de veritat d'aquest «dilema constructiu» és la següent:
Línia 16: Línia 17:
 
<center>[[File:e3671-4.gif]]</center>
 
<center>[[File:e3671-4.gif]]</center>
  
La taula mostra que, sempre que les premisses són veritables, la conclusió també és veritable, i no succeeix que les premisses siguin veritables i la conclusió falsa. La taula mostra que el «dilema constructiu» és un raonament vàlid.
+
La taula mostra que, sempre que les premisses són vertaderes, la conclusió també és vertadera, i no succeeix que les premisses siguin vertaderesi la conclusió falsa. La taula mostra que el «dilema constructiu» és un raonament vàlid.
 
{{InfoWiki}}
 
{{InfoWiki}}

Revisió de 21:14, 21 feb 2018

Sigui el següent raonament:

«Si somio, desitjo, i si estic despert, em deleixo, i o somio o estic despert; per tant o desitjo o em deleixo», la formalització del qual pot ser:

[math]\displaystyle{ [[(p\rightarrow q)]\wedge (r\rightarrow s)]\wedge (p\vee r)]\rightarrow q\vee s }[/math]

la taula de veritat d'aquest «dilema constructiu» és la següent:

E3671-4.gif

La taula mostra que, sempre que les premisses són vertaderes, la conclusió també és vertadera, i no succeeix que les premisses siguin vertaderesi la conclusió falsa. La taula mostra que el «dilema constructiu» és un raonament vàlid.