funció veritativa LÒG.

Funció de veritat;. És una relació entre classes tal que un o diversos valors de veritat d'una classe s'assignen a un únic valor de veritat d'una altra. Els arguments i valors d'aquesta funció, per tant, són només «vertader» i «fals». Les connectives lògiques determinen funcions de veritat i s'anomenen, per això mateix, veritativo-funcionals. Si coneixem el valor de veritat; de p i q, sabem també el valor de veritat de

(p ˄ q) o de (p → q)

solament coneixent el tipus de funció que representen les connectives ˄ i →  és a dir, només coneixent les seves definicions. Les veure exemple), i la càlcul lògic basat en aquestes funcions veritatives.

Aquesta obra està sota una llicència de Creative Commons.