Este contenido formativo aborda de manera exhaustiva el proceso de traducción del lenguaje natural al lenguaje formal de la lógica de predicados de primer orden. Se desglosan detalladamente las reglas de formalización para proposiciones singulares, particulares y universales, analizando la distinción entre predicados monádicos y poliádicos, el alcance de las variables libres y ligadas, y el uso riguroso de los cuantificadores universal (/\x) y existencial (Vx). Siguiendo las directrices metodológicas de Alfredo Deaño y los textos de Díez y Castrillo, la clase resuelve sistemáticamente casos de ambigüedad sintáctica, oraciones condicionales complejas, relaciones de parentesco y orden, y expresiones con identidad (x = y) y descripciones definidas. Se proporciona al estudiante de la UNED un entrenamiento integral para identificar la estructura lógica subyacente a cualquier enunciado discursivo antes de abordar las deducciones formales o los árboles semánticos.