Esta sesión de carácter netamente práctico se centra en la resolución detallada de ejercicios de deducción natural dentro del cálculo de la lógica formal. El desarrollo del contenido se enfoca en enseñar al alumno a operar de manera rigurosa con las reglas de inferencia del sistema, tales como el Modus Ponens, el Modus Tollens, el silogismo disyuntivo y la doble negación. Se ilustra detalladamente el proceso de derivación lógica a partir de un conjunto dado de premisas para alcanzar una conclusión determinada de forma puramente formal. La explicación secuencial e interactiva permite asimilar la estructura formal de las pruebas deductivas directas, consolidando la destreza del estudiante en el manejo de conectores lógicos como la implicación, la conjunción y la disyunción dentro del marco de la sintaxis deductiva.