Taula de veritat d'un raonament
De Wikisofia
La revisió el 14:32, 5 set 2015 per Sofibot (discussió | contribucions)
La revisió el 14:32, 5 set 2015 per Sofibot (discussió | contribucions)
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 :
la taula de veritat d'aquest «dilema constructiu» és la següent:
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.