falso

En Lógica, falso o no veraz es el estado de poseer un valor verdadero negativo o una conectividad lógica nula. En un sistema lógico proposicional de verdad-funcional es uno de los dos valores verdaderos propuestos, junto a su negación, la verdad. Las anotaciones usuales de falso son 0 (especialmente en el Álgebra de Boole y en ciencia de computadores), O (en notación polaca, Opq) y el símbolo de la tachuela ⊥. Otro uso es el de varias teorías formales (por ejemplo, cálculo de lógica intuicionista) donde una constante proposicional (ej. un conectivo nulo, ⊥) es introducida y cuyo valor de la verdad es siempre falso. Esto puede tratarse como una proposición absurda y suele llamarse absurdidad.