Diferència entre revisions de la pàgina «Funció veritativa»
De Wikisofia
(Es crea la pàgina amb «{{ConcepteWiki}} Funció de veritat. És una relació entre classes tal que un o varis valors de veritat d'una classe s'as...».) |
m (Text de reemplaçament - "File:i" a "File:e") |
||
Línia 12: | Línia 12: | ||
* | * | ||
* | * | ||
− | * [[File: | + | * [[File:e1666-1.gif|center]] |
</div></div> | </div></div> | ||
Revisió del 15:40, 25 abr 2015
Funció de veritat. És una relació entre classes tal que un o varis 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 «veritable» i «fals». Les connectives lògiques determinen funcions de veritat i es diuen, per això mateix, veritativo-funcionals.
Si coneixem el valor de veritat de p i q, sabem també el valor de veritat de [math]\displaystyle{ p\wedge q }[/math] o de [math]\displaystyle{ p\rightarrow{}q }[/math], solament coneixent el tipus de funció que representen les connectives [math]\displaystyle{ \wedge }[/math] i [math]\displaystyle{ \rightarrow{} }[/math], és a dir, amb només conèixer les seves definicions.
Les taules de veritat són un mitjà fàcil de decidir el valor de veritat dels enunciats complexos, i la lògica d'enunciats és un càlcul lògic basat en aquestes funcions veritatives.