6.1262 A prova na lógica é apenas um expediente mecânico para facilitar o reconhecimento da tautologia onde ela é complicada.