Valor lógico de uma proposição e princípio de não contradição