Falso (lógica)
De Wikipedia, a enciclopédia encyclopedia
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 dos dois postulados dos valores verdade, junto com a sua negação, verdade lógica. [1] 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 símbolo de falsidade⊥.[2]
Outra abordagem é usada para várias teorias formais (como por exemplo, a Lógica intuicionista), onde o falso é uma constante proposicional (ou seja, um conectivo nulário, ou operador de ordem zero, em Português de Portugal) ⊥, o valor de verdade dessa constante é sempre falso no sentido acima.[3][4][5]