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.