Qual a relação entre a lógica e a verdade?