6.1262

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