Diferència entre revisions de la pàgina «La veritat dels enunciats atòmics i moleculars»
De Wikisofia
(Es crea la pàgina amb «{{RecursWiki |Tipus=Exemple }} {{RecursoEnlace |Enllaç= }} {{Multimèdia |Upload Type= |File= |Embed= }} {{RecursBase |Nom=La veritat dels enunciats atòm...».) |
|||
| Línia 16: | Línia 16: | ||
{{Exemple}} | {{Exemple}} | ||
| − | Per decidir la veritat d'un enunciat '''atòmic''' com «L'Aneto és el | + | 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 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 21:34, 31 ago 2015
Plantilla:RecursoEnlace Plantilla:Multimèdia
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 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:
