Accions

Diferència entre revisions de la pàgina «Argument invàlid»

De Wikisofia

(Es crea la pàgina amb «{{ConcepteWiki}} Aquell que, pel seu forma, admet premisses veritables i conclusió falsa; això és, admet un contraexemple <...».)
 
m (Text de reemplaçament - "E3491-6" a "E3491-6cat")
 
(3 revisions intermèdies per 2 usuaris que no es mostren)
Línia 1: Línia 1:
{{ConcepteWiki}}
+
{{ConcepteWiki}}  
Aquell que, pel seu [[forma lògica|forma]], admet premisses veritables i conclusió falsa; això és, admet un [[contraexemple|contraexemple]]
 
  
<div class='mw-collapsible mw-collapsed'>
+
Aquell que, per la seva [[Forma_lògica|forma]], admet premisses veritables i conclusió falsa; això és, admet un [[Contraexemple|contraexemple]]
<center>'''veure exemple ↓'''</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&nbsp;:
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:Raonament invàlid i  contraexemple]]
+
[[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 [[interpretació|interpretació]] que fa veritable al conjunt de premisses fa falsa a la conclusió.
+
<div class="mw-collapsible mw-collapsed"><center>'''veg. exemple ↓'''</center><div class="mw-collapsible-content">
 
 
<div class='mw-collapsible mw-collapsed'>
 
<center>'''veure exemple ↓'''</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:i3491-6.gif]]</center>
+
[[Recurs:Exemple_d'argument_independent]]
 
 
 
 
[[Recurs:Exemple d'argument independent]]
 
 
</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

veg. exemple ↓

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.

Recurs:Raonament_invàlid_i_contraexemple

Un argument és invàlid quan la interpretació que fa veritable al conjunt de premisses fa falsa a la conclusió.

veg. exemple ↓

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:

RTENOTITLE

Recurs:Exemple_d'argument_independent