Tudo o que é lógico é verdadeiro e tudo o que é verdadeiro é lógico?