Template:Individual-TLP-paragraph-es-6.1262

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.