Diferència entre revisions de la pàgina «Taula de veritat d'un raonament»
De Wikisofia
(Es crea la pàgina amb «{{RecursWiki |Tipus=Exemple }} {{RecursoEnlace |Enllaç= }} {{Multimèdia |Upload Type= |File= |Embed= }} {{RecursBase |Nom=Taula de veritat d'un raonament...».) |
|||
| (3 revisions intermèdies per 3 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: | ||
| − | <center>[[File: | + | <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.