Este curso de pensamiento crítico explica cómo aplicar la lógica y el razonamiento a través de la refutación de la resolución. Comenzamos por presentarle varios lenguajes lógicos diferentes y brindarle una descripción general del cálculo proposicional. A continuación, presentamos los símbolos utilizados en el cálculo proposicional y le mostramos cómo convertir oraciones en inglés en cálculo proposicional. Analizamos en detalle el cálculo de predicados (también llamado «lógica de primer orden») e identificamos sus símbolos, semántica y diferencias con el cálculo proposicional

A continuación, el curso examina varias técnicas de pensamiento crítico, como el «modus ponens», el «modus tollens», la eliminación, la introducción y la instanciación universal. Cubrimos el proceso de unificación y deducción para ayudarlo a aplicar la lógica a escenarios del mundo real. Demostramos cómo crear un sistema de razonamiento y combinar dos predicados para implementar un motor de inferencia. Dado que todas las variables deben cuantificarse universalmente, exploramos los pasos involucrados en el proceso de unificación y los que se toman para implementar el principio de resolución

La siguiente sección se centra en la demostración de teoremas mediante la refutación de la resolución. Proporcionamos ejemplos para ayudarlo a comprender los pasos básicos que se toman para establecer los teoremas, incluida la forma de las cláusulas, las estrategias de resolución eficientes y la extracción de respuestas a partir de la refutación de resoluciones. El curso examina la unificación, la sustitución y la skolemización para mejorar tus habilidades prácticas de razonamiento crítico. También explicamos cómo usar Prolog, un lenguaje de programación lógico y una aplicación del teorema de resolución que demuestra que se usa con frecuencia en la informática moderna. Nuestra sección final compara varios enfoques de razonamiento. Este curso es adecuado para programadores de computadoras, ya que explica cómo se puede expresar y aplicar el pensamiento crítico para mejorar sus habilidades en ciencias de la computación