Una sentencia se llama función de verdad si el valor de verdad de la sentencia es una función del valor de verdad de sus subsentencias.