FUNCIÓN DE VERDAD

En Principia Mathematica, Apéndice C, Whitehead y Russell aclaran la noción de función de verdad. Se trata, indican, de una de las funciones de las proposiciones. Estrictamente hablando, es la característica esencial de proposiciones en cuanto se consideran no como hechos, sino como «vehículos de verdad o falsedad». En su Introduction to Mathematical Philosophy, 1919; 2.ª ed., 1920, págs. 146 y siguientes (trad. esp.: Introducción a la filosofía mate­mática, 1988), Russell consideró la cuestión de la inferencia de la verdad o falsedad de proposiciones, sentando como funciones de verdad las funciones de la negación, disyun­ción, conjunción, incompatibilidad e impli­cación. A esta lista pueden agregarse otras funciones tales como la de falsedad conjunta, o conjunción de dos negativas. La verdad o falsedad de una proposición es llamada su «función de verdad».

En relación con la noción de función de verdad se puede usar el adjetivo