En la siguiente infografía se presentan los conceptos sobre la lógica de predicados: Se puede observar a mayor detalle en: https://create.piktochart.com/output/26341656-new-piktochart
A continuación se presentan los siguientes enlaces a historietas que presentan la explicación del método de demostración correspondiente: Método de demostración directo (Razonamiento intuitivo): https://www.powtoon.com/c/fVyUi87mx0q/1/m Método de demostración indirecto (Reducción al absurdo): https://www.powtoon.com/c/enSWJVW4Pfv/1/m Método de demostración condicional: https://www.powtoon.com/c/eGOE2uT55VN/1/m Métodos de demostración: resolución y refutación. https://www.powtoon.com/c/fqjvwSpg5w0/1/m
A continuación un mapa conceptual sobre la Lógica proposicional en la materia de Lógica matemática: Para ver en mejor calidad dar click derecho y seleccionar abrir en nueva pestaña. Fuentes utilizadas: Eslava, G., Carrillo, T., & Dávila, A. (2014). Lógica Matemática. El Enfoque de las Matemáticas Aplicadas y la Computación. Ciudad de México, Ciudad de México, México: Facultad de Estudios Superiores Acatlán.
En la siguiente imagen se presenta un mapa conceptual sobre conceptos introductorios a la materia de Lógica matemática: Fuentes utilizadas: Eslava, G., Carrillo, T., & Dávila, A. (2014). Lógica Matemática. El Enfoque de las Matemáticas Aplicadas y la Computación. Ciudad de México, Ciudad de México, México: Facultad de Estudios Superiores Acatlán. Apuntes de la materia: Lógica Matemática. Impartida por la profesora Teresa Carrillo. En la Facultad de Estudios Superiores Acatlán.