Diferència entre revisions de la pàgina «Argument invàlid»
De Wikisofia
m (bot: -veure exemple +veg. exemple) |
|||
| Línia 2: | Línia 2: | ||
Aquell que, per la seva [[Forma_lògica|forma]], admet premisses veritables i conclusió falsa; això és, admet un [[Contraexemple|contraexemple]] | Aquell que, per la seva [[Forma_lògica|forma]], admet premisses veritables i conclusió falsa; això és, admet un [[Contraexemple|contraexemple]] | ||
| − | <div class="mw-collapsible mw-collapsed"><center>''' | + | <div class="mw-collapsible mw-collapsed"><center>'''veg. exemple ↓'''</center><div class="mw-collapsible-content"> |
La següent forma lògica és invàlida : | La següent forma lògica és invàlida : | ||
| Línia 33: | Línia 33: | ||
</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 [[Interpretació|interpretació]] que fa veritable al conjunt de premisses fa falsa a la conclusió. | ||
| − | <div class="mw-collapsible mw-collapsed"><center>''' | + | <div class="mw-collapsible mw-collapsed"><center>'''veg. exemple ↓'''</center><div class="mw-collapsible-content"> |
Sean els enunciats | Sean els enunciats | ||
Revisió del 11:55, 22 ago 2017
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:
