Taula de veritat d'un raonament
De Wikisofia
La versió per a impressora ja no és compatible i pot tenir errors de representació. Actualitzeu les adreces d'interès del navegador i utilitzeu la funció d'impressió per defecte del navegador.
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:
la taula de veritat d'aquest «dilema constructiu» és la següent:
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.