Segundo os princípios da não contradição e do terceiro excluído, a uma proposição pode ser atribuído um e somente um valor lógico.