Diferència entre revisions de la pàgina «Argument invàlid»
De Wikisofia
m (Text de reemplaçament - "File:i" a "File:e") |
m (Text de reemplaçament - "E3491-6" a "E3491-6cat") |
||
| (2 revisions intermèdies per 2 usuaris que no es mostren) | |||
| Línia 1: | Línia 1: | ||
| − | {{ConcepteWiki}} | + | {{ConcepteWiki}} |
| − | |||
| − | <div class= | + | Aquell que, per la seva [[Forma_lògica|forma]], admet premisses veritables i conclusió falsa; això és, admet un [[Contraexemple|contraexemple]] |
| − | <center>''' | + | <div class="mw-collapsible mw-collapsed"><center>'''veg. exemple ↓'''</center><div class="mw-collapsible-content"> |
| − | <div class="mw-collapsible-content"> | + | La següent forma lògica és invàlida : |
| − | La següent forma lògica és invàlida : | ||
:Tots els M són P | :Tots els M són P | ||
| Línia 11: | Línia 9: | ||
:__________________ | :__________________ | ||
:Alguns S no són P | :Alguns S no són P | ||
| + | |||
| Línia 19: | Línia 18: | ||
:________________________________________ | :________________________________________ | ||
:Alguns savis no són persones sensibles | :Alguns savis no són persones sensibles | ||
| − | |||
Perquè, encara que en aquest cas tant les premisses com la conclusió són veritables, admet contraexemples: | Perquè, encara que en aquest cas tant les premisses com la conclusió són veritables, admet contraexemples: | ||
| Línia 29: | Línia 27: | ||
:________________________________ | :________________________________ | ||
:«Anís» i «patatús» no s'accentuen | :«Anís» i «patatús» no s'accentuen | ||
| − | |||
On les premisses són veritables i la conclusió falsa. | On les premisses són veritables i la conclusió falsa. | ||
| − | [[Recurs: | + | [[Recurs:Raonament_invàlid_i_contraexemple]] |
</div></div> | </div></div> | ||
| − | + | Un argument és invàlid quan la [[Interpretació|interpretació]] que fa veritable al conjunt de premisses fa falsa a la conclusió. | |
| − | Un argument és invàlid quan la [[ | + | <div class="mw-collapsible mw-collapsed"><center>'''veg. exemple ↓'''</center><div class="mw-collapsible-content"> |
| − | |||
| − | <div class= | ||
| − | <center>''' | ||
| − | <div class="mw-collapsible-content"> | ||
Sean els enunciats | Sean els enunciats | ||
| Línia 46: | Línia 39: | ||
la taula de veritat prova que l'enunciat P és independent de la resta d'enunciats: | la taula de veritat prova que l'enunciat P és independent de la resta d'enunciats: | ||
| − | + | <center>[[File:E3491-6cat.gif|RTENOTITLE]]</center> | |
| − | <center>[[File: | + | [[Recurs:Exemple_d'argument_independent]] |
| − | |||
| − | |||
| − | [[Recurs: | ||
</div></div> | </div></div> | ||
{{Etiqueta | {{Etiqueta | ||
|Etiqueta=Lògica | |Etiqueta=Lògica | ||
| − | }} | + | }} {{InfoWiki}} |
| − | {{InfoWiki}} | ||
Revisió de 14:20, 22 oct 2018
Aquell que, per la seva forma, admet premisses veritables i conclusió falsa; això és, admet un contraexemple
La següent forma lògica és invàlida :
- Tots els M són P
- Alguns S no són M
- __________________
- Alguns S no són P
Exemple:
- Tots els músics són persones sensibles
- Alguns savis no són músics
- ________________________________________
- Alguns savis no són persones sensibles
Perquè, encara que en aquest cas tant les premisses com la conclusió són veritables, admet contraexemples:
Contraexemple:
- Totes les paraules esdrúixoles s'accentuen
- «Anís» i «patatús» no són paraules esdrúixoles
- ________________________________
- «Anís» i «patatús» no s'accentuen
On les premisses són veritables i la conclusió falsa.
Un argument és invàlid quan la interpretació que fa veritable al conjunt de premisses fa falsa a la conclusió.
Sean els enunciats
[math]\displaystyle{ (P\rightarrow{Q}), (Q\rightarrow{R}), ¬R, \models P? }[/math]
la taula de veritat prova que l'enunciat P és independent de la resta d'enunciats:
