En la semántica de la lógica clásica, se asignan valores de verdad a fórmulas proposicionales de el conjunto de dos elementos formula_1 ("verdadero y "falso" respectivamente) independientemente si se tiene evidencia directa para cada caso.