Diferència entre revisions de la pàgina «La veritat dels enunciats atòmics i moleculars»
De Wikisofia
m (bot: - Per decidir la + Per a decidir la) |
m (bot: - som capaces de + som capaços de) |
||
| Línia 8: | Línia 8: | ||
{{Exemple}} | {{Exemple}} | ||
| − | 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 | + | 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 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, |
Revisió del 14:41, 15 oct 2017
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 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:
