Accions

Diferència entre revisions de la pàgina «Veritat, valors de»

De Wikisofia

m (bot: - </div> Veure enunciat + </div> Vegeu enunciat)
Línia 40: Línia 40:
  
  
Veure enunciat [[veritativo-funcional, enunciat|veritativo-funcional]].
+
Vegeu enunciat [[veritativo-funcional, enunciat|veritativo-funcional]].
  
  

Revisió del 22:54, 17 maig 2018

També anomenats «valors veritativos»: la doble possibilitat de l'enunciat de ser veritable o fals. L'enunciat veritable té el valor de veritat, i l'enunciat fals el valor de falsedat. La lògica tradicional, que es funda en el principi de bivalència, admet només aquests dos valors. També el valor de veritat o falsedat que rep una fórmula lògica en rebre una interpretació.

La lògica d'enunciats es diu veritativo-funcional perquè el valor de veritat dels seus enunciats depèn de les connectives definides com una funció de veritat; aquestes funcions es defineixen mitjançant taules de veritat

(veg. exemple 1 ↓)

El valor de veritat de l'enunciat

[math]\displaystyle{ [(p \rightarrow{q}) \rightarrow{q}] \rightarrow{p} }[/math]

es decideix mitjançant la següent taula de veritat:

E1666-1.gif

i

(veg. exemple 2 ↓)

Les taules de veritat lògiques posen de manifest com les connectives són símbols veritativo-funcionals, o símbols que designen una funció veritativa entre un enunciat compost i els valors de veritat:

Així, per a l'enunciat:

[math]\displaystyle{ p \rightarrow{q} (p \vee q) }[/math]

la taula de veritat és

E1658-2.gif

Altres lògiques admeten més de dos valors; per exemple, la lògica trivalent de Lukasiewicz, que admet veritable, fals i indeterminat.

i

(veg. exemple ↓)

3701.png


Vegeu enunciat veritativo-funcional.


Vegeu termes relacionats.

Plantilla:Proc