Diferència entre revisions de la pàgina «Condicions de veritat»
De Wikisofia
m (bot: - esportista de ''elit''», + esportista d'elit»,) |
|||
| (9 revisions intermèdies per 2 usuaris que no es mostren) | |||
| Línia 1: | Línia 1: | ||
{{ConcepteWiki}} | {{ConcepteWiki}} | ||
| − | El que es requereix o és suficient perquè un determinat [[Enunciat|enunciat]] sigui veritable. Si l'enunciat és [[ | + | El que es requereix o és suficient perquè un determinat [[Enunciat|enunciat]] sigui veritable. Si l'enunciat és [[Enunciat_atòmic_i_enunciat_mol·lecular|atòmic]], o simple, es requereix un [[Veritat,_criteri_de|criteri de veritat]] per a 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 el componen |
| − | <div class="mw-collapsible | + | <div class="mw-collapsible"><center>'''veg. exemple ↓'''</center><div class="mw-collapsible-content"> |
| − | Per decidir la veritat d'un enunciat '''atòmic''' com «L'Aneto és el cim 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 cim més alt dels Pirineus» és veritat si i només si som | + | Per a decidir la veritat d'un enunciat '''atòmic''' com «L'Aneto és el cim 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 cim més alt dels Pirineus» és veritat si i només si som capaços de comprovar d'alguna manera que l'Aneto, en efecte, és el cim més alt dels Pirineus». |
| + | Per a decidir la veritat de l'enunciat '''molecular''' «Si és un esportista d'elit, llavors està ben 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 d'elit», sigui ''p'' i que «''x'' està ben pagat», sigui ''q'', escrivim «p → q», i aplicant la definició de condicional, | ||
| − | <center>[[File:718.png| | + | |
| + | <center>[[File:718.png|150px|718.png]] | ||
advertim que: | advertim que: | ||
| + | |||
| + | {| class="wikitable" | ||
| + | |- | ||
| + | | És esportista d'elit || Està ben pagat || = V | ||
| + | |- | ||
| + | | És esportista d'elit || No està ben pagat || = F | ||
| + | |- | ||
| + | | No és esportista d'elit || Està ben pagat || = V | ||
| + | |- | ||
| + | | No és esportista d'elit || No està ben pagat || = V | ||
| + | |} | ||
| − | |||
[[Recurs:La_veritat_dels_enunciats_atòmics_i_moleculars]] | [[Recurs:La_veritat_dels_enunciats_atòmics_i_moleculars]] | ||
</div></div> | </div></div> | ||
Revisió de 18:49, 28 gen 2020
El que es requereix o és suficient perquè un determinat enunciat sigui veritable. Si l'enunciat és atòmic, o simple, es requereix un criteri de veritat per a 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 el componen
Per a decidir la veritat d'un enunciat atòmic com «L'Aneto és el cim 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 cim més alt dels Pirineus» és veritat si i només si som capaços de comprovar d'alguna manera que l'Aneto, en efecte, és el cim més alt dels Pirineus».
Per a decidir la veritat de l'enunciat molecular «Si és un esportista d'elit, llavors està ben 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 d'elit», sigui p i que «x està ben pagat», sigui q, escrivim «p → q», i aplicant la definició de condicional,
advertim que:
| És esportista d'elit | Està ben pagat | = V |
| És esportista d'elit | No està ben pagat | = F |
| No és esportista d'elit | Està ben pagat | = V |
| No és esportista d'elit | No està ben pagat | = V |
Ara bé, el conjunt de condicions de veritat el determinen només els valors de veritat de les connectives.