En lógica clásica, la clase de sus fórmulas (incluyendo las sentencias) es una función de verdad puesto que cada conectivo sentencial (por ejemplo, y, →, etc.) usado en la construcción de fórmulas es función de verdad.