6.1262

La prueba en la lógica es solo un medio mecánico para el reconocimiento más sencillo de la tautología, donde ella es complicada.