Quando a proposição é verdadeira, então o seu valor lógico é verdade. Por outro lado, quando a proposição é falsa, o seu valor lógico é falsidade.
Assim, definem-se verdade e falsidade como valores lógicos de proposições, simbolizados abreviadamente por V e F, respectivamente.
É importante lembrar que verdade e falsidade são os dois únicos valores que podem ser assumidos por uma proposição, excluindo totalmente a possibilidade de atribuição de um terceiro valor lógico, segundo o princípio do terceiro excluído. Além disso, uma proposição não pode ser os dois valores lógicos, verdade e falsidade, ao mesmo tempo, conforme diz o princípio da não contradição.