Diferència entre revisions de la pàgina «Taula de veritat d'un raonament»
De Wikisofia
m (Text de reemplaçament - "File:i" a "File:e") |
|||
| (2 revisions intermèdies per 2 usuaris que no es mostren) | |||
| Línia 1: | Línia 1: | ||
{{RecursWiki | {{RecursWiki | ||
|Tipus=Exemple | |Tipus=Exemple | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
}} | }} | ||
{{RecursBase | {{RecursBase | ||
| Línia 18: | Línia 10: | ||
Sigui el següent raonament: | Sigui el següent raonament: | ||
| − | «Si | + | «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 24: | 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 | + | 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:
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.