falso

Na lógica, falso ou não verdade é um valor verdade ou um conectivo lógico nulário. Em um sistema de proposição lógica de funções verdade, isso é, o valor falso é um do dois postulados dos valores verdade, junto com a sua negação, verdade lógica. Notações geralmente usadas são 0 (especialmente na Lógica Booleana e na ciência da computação), O (na Notação Pré-fixada, Opq) e para o simbolo de falsidade ⊥. Outra abordagem é usada para várias teorias formais (como por exemplo, a Lógica Intuicionística), onde o falso é uma constante proposicional (ou seja, um conectivo nulário) ⊥, o valor de verdade dessa constante é sempre falso no sentido acima.