Diferència entre revisions de la pàgina «Funció veritativa»
De Wikisofia
m (Text de reemplaçament - "File:i" a "File:e") |
|||
| (Una revisió intermèdia per un altre usuari que no es mostra) | |||
| Línia 1: | Línia 1: | ||
{{ConcepteWiki}} | {{ConcepteWiki}} | ||
| − | Funció de veritat. És una relació entre [[classe (lògica)|classes]] tal que un o | + | Funció de veritat. És una relació entre [[classe (lògica)|classes]] tal que un o diversos [[veritat, valors de|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 [[connectors, connectives|connectives]] lògiques determinen funcions de veritat i es diuen, per això mateix, [[veritativo-funcional, enunciat|veritativo-funcionals]]. |
Si coneixem el valor de veritat de ''p'' i ''q'', sabem també el valor de veritat de <math>p\wedge q </math> o de <math>p\rightarrow{}q</math>, solament coneixent el tipus de funció que representen les connectives <math>\wedge</math> i <math>\rightarrow{}</math>, és a dir, amb només conèixer les seves definicions. | Si coneixem el valor de veritat de ''p'' i ''q'', sabem també el valor de veritat de <math>p\wedge q </math> o de <math>p\rightarrow{}q</math>, solament coneixent el tipus de funció que representen les connectives <math>\wedge</math> i <math>\rightarrow{}</math>, és a dir, amb només conèixer les seves definicions. | ||
| Línia 10: | Línia 10: | ||
<div class="mw-collapsible-content"> | <div class="mw-collapsible-content"> | ||
* Exemple de decisió del valor de veritat d'un enunciat complex mitjançant taules de veritat: el valor de veritat de l'enunciat <math>[(p\rightarrow{}q)\rightarrow{}q]\rightarrow{}p</math> es decideix mitjançant la següent taula de veritat: | * Exemple de decisió del valor de veritat d'un enunciat complex mitjançant taules de veritat: el valor de veritat de l'enunciat <math>[(p\rightarrow{}q)\rightarrow{}q]\rightarrow{}p</math> es decideix mitjançant la següent taula de veritat: | ||
| − | + | ||
| − | + | ||
* [[File:e1666-1.gif|center]] | * [[File:e1666-1.gif|center]] | ||
</div></div> | </div></div> | ||
| − | + | Veg. [[Alètic]] | |
{{Etiqueta | {{Etiqueta | ||
Revisió de 23:49, 25 set 2018
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 «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.
- Exemple de decisió del valor de veritat d'un enunciat complex mitjançant taules de veritat: 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:
Veg. Alètic