taula de veritat

f
Filosofia

En lògica proposicional, procediment per a determinar la veritat o falsedat d’un enunciat sentencial d’acord amb els valors de veritat de les seves variables, les quals representen enunciats més bàsics.

La presentació més usual consisteix a posar a l’esquerra totes les combinacions dels valors del enunciats (2n, essent n el nombre de variables) i a la dreta el valor de veritat que rep la sentència per aquell valor de les variables. Aquest valor és obtingut per derivació a partir de les taules de veritat de les funcions lògiques més bàsiques que determinen les connectives.