Falso (lógica)
From Wikipedia, the free encyclopedia
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.
En Álgebra de Boole cada variable denota un valor de Verdad que puede ser tanto veraz(1) como falaz (0). En el cálculo proposicional clásico a cada proposición le será asignado un valor de verdad, sea verdad o falso. Algunos sistemas de la lógica clásica añaden símbolos dedicados para falso (0 o ⊥). Otros, por el contrario confían en fórmulas como p ∧ ¬p y ¬(p → p). Tanto en la lógica Booleana como en los sistemas de lógica clásica, verdad y falso son contrarios respecto a la negación; La negación de falso resulta verdad y la negación de verdad es falso.
| Verdad | Falso |
| Falso | Verdad |
