Diferència entre revisions de la pàgina «Condicions de veritat»
De Wikisofia
(Es crea la pàgina amb «{{ConcepteWiki}} El que es requereix o prou perquè un determinat enunciat sigui veritable. Si l'enunciat és atòmic, o simple, es...».) |
|||
| Línia 1: | Línia 1: | ||
| − | {{ConcepteWiki}} | + | {{ConcepteWiki}} |
| − | |||
| − | <div class= | + | El que es requereix o prou perquè un determinat [[Enunciat|enunciat]] sigui veritable. Si l'enunciat és [[Enunciat_atòmic|atòmic]], o simple, es requereix un [[Veritat,_criteri_de|criteri de veritat]] per decidir sobre la seva [[Veritat|veritat]] o falsedat. Si es tracta d'un enunciat molecular, o compost, la seva veritat es determina segons el valor de veritat de la [[Connectors,_connectives|connectiva]]. que, al seu torn, es determina segons el valor de veritat dels enunciats atòmics que ho componen |
| − | <center>'''veure exemple ↓'''</center> | + | <div class="mw-collapsible mw-collapsed"><center>'''veure exemple ↓'''</center><div class="mw-collapsible-content"> |
| − | <div class="mw-collapsible-content"> | + | Per decidir la veritat d'un enunciat '''atòmic''' com «L'Aneto és el bec més alt dels Pirineus» cal decidir-se pel criteri de correspondència amb els fets, per exemple, i dir que «L'Aneto és el bec més alt dels Pirineus» és veritat si i només si som capaces de comprovar d'alguna manera que l'Aneto, en efecte, és el bec més alt dels Pirineus». Per decidir la veritat de l'enunciat '''molecular''' «Si és un esportista de ''elit'', llavors està bé pagat», cal saber si són veritables o falsos els fets referits en cada enunciat atòmic i aplicar els valors de veritat que suposa el condicional. Suposant que «''x'' és un esportista de ''elit''», sigui ''p'' i que «''x'' està bé pagat», sigui ''q'', escrivim «p>q», i aplicant la definició de condicional, |
| − | |||
| − | Per decidir la veritat d'un enunciat '''atòmic''' com «L'Aneto és el bec més alt dels Pirineus» cal decidir-se pel criteri de correspondència amb els fets, per exemple, i dir que «L'Aneto és el bec més alt dels Pirineus» és veritat si i només si som capaces de comprovar d'alguna manera que l'Aneto, en efecte, és el bec més alt dels Pirineus». Per decidir la veritat de l'enunciat '''molecular''' «Si és un esportista de ''elit'', llavors està bé pagat», cal saber si són veritables o falsos els fets referits en cada enunciat atòmic i aplicar els valors de veritat que suposa el condicional. Suposant que «''x'' és un esportista de ''elit''», sigui ''p'' i que «''x'' està bé pagat», sigui ''q'', escrivim «p | ||
| − | |||
| − | |||
| − | |||
| + | <center>[[File:718.png|400px|718.png]] | ||
advertim que: | advertim que: | ||
| − | [[File:3844B.png|400px]]</center> | + | [[File:3844B.png|400px|3844B.png]]</center> |
| − | + | [[Recurs:La_veritat_dels_enunciats_atòmics_i_moleculars]] | |
| − | [[Recurs: | ||
</div></div> | </div></div> | ||
| − | + | Ara bé, el conjunt de condicions de veritat el determinen només els valors de veritat de les connectives. | |
| − | |||
| − | Ara bé, el conjunt de condicions de veritat | ||
{{Etiqueta | {{Etiqueta | ||
|Etiqueta=Epistemologia | |Etiqueta=Epistemologia | ||
| − | }} | + | }} {{Etiqueta |
| − | {{Etiqueta | ||
|Etiqueta=Lògica | |Etiqueta=Lògica | ||
| − | }} | + | }} {{InfoWiki}} |
| − | {{InfoWiki}} | ||
Revisió del 17:28, 14 ago 2015
El que es requereix o prou perquè un determinat enunciat sigui veritable. Si l'enunciat és atòmic, o simple, es requereix un criteri de veritat per decidir sobre la seva veritat o falsedat. Si es tracta d'un enunciat molecular, o compost, la seva veritat es determina segons el valor de veritat de la connectiva. que, al seu torn, es determina segons el valor de veritat dels enunciats atòmics que ho componen
Per decidir la veritat d'un enunciat atòmic com «L'Aneto és el bec més alt dels Pirineus» cal decidir-se pel criteri de correspondència amb els fets, per exemple, i dir que «L'Aneto és el bec més alt dels Pirineus» és veritat si i només si som capaces de comprovar d'alguna manera que l'Aneto, en efecte, és el bec més alt dels Pirineus». Per decidir la veritat de l'enunciat molecular «Si és un esportista de elit, llavors està bé pagat», cal saber si són veritables o falsos els fets referits en cada enunciat atòmic i aplicar els valors de veritat que suposa el condicional. Suposant que «x és un esportista de elit», sigui p i que «x està bé pagat», sigui q, escrivim «p>q», i aplicant la definició de condicional,
advertim que:
Ara bé, el conjunt de condicions de veritat el determinen només els valors de veritat de les connectives.