Accions

Diferència entre revisions de la pàgina «Condicions de veritat»

De Wikisofia

m (bot: - esportista de ''elit'', llavors està bé pagat», + esportista d'elit, llavors està ben pagat»,)
m (bot: - Per decidir la + Per a decidir la)
Línia 3: Línia 3:
 
El que es requereix o és suficient 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 el componen
 
El que es requereix o és suficient 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 el componen
 
<div class="mw-collapsible mw-collapsed"><center>'''veg. exemple ↓'''</center><div class="mw-collapsible-content">
 
<div class="mw-collapsible mw-collapsed"><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 capaces de comprovar d'alguna manera que l'Aneto, en efecte, és el cim més alt dels Pirineus». Per 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à 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 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 capaces 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à bé pagat», sigui ''q'', escrivim «p → q», i aplicant la definició de condicional,
  
  

Revisió del 10:08, 13 oct 2017


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 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

veg. exemple ↓

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 capaces 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à bé pagat», sigui q, escrivim «p → q», i aplicant la definició de condicional,


718.png

advertim que:


3844B.png

Recurs:La_veritat_dels_enunciats_atòmics_i_moleculars

Ara bé, el conjunt de condicions de veritat el determinen només els valors de veritat de les connectives.