CLASES ( de años anteriores en Youtube )

1. Formalización y semántica

• 2019
• [2019. S10.1] Lógica de proposiciones
• [2019. S10.2] Semántica Lógica
• 2018
• [2018. S2.1] Teoría de formalización en Lógica de Primer Orden (LPO)
• [2018. S2.2] Ejercicios de formalización en LPO I
• [2018. S3.1] Ejercicios de formalización en LPO II
• 2017
• [2017. S2.1] El Lenguaje de la Lógica de Primer Orden (LPO) I
• [2017. S2.2] El Lenguaje de la LPO II
• [2017. S2.3] El Lenguaje de la LPO III
• [2017. S3.1] Semántica de la LPO I: Equivalencias

2. Tablas de Verdad

• 2019
• [2019. S11.1] Tablas de verdad
• 2018
• [2018. S3.2] Tablas de Verdad
• [2018. S4.2] Ejercicios de tablas de verdad
• 2017
• [2017. S3.2] Semántica de la LPO I: Tablas de verdad
• [2017. S4.1] Métodos de demostración: Tablas de verdad

3. Contraejemplo

• 2019
• [2019. S11.2] Método del Contraejemplo I
• [2019. S12.1] Método del Contraejemplo II
• 2018
• [2018. S4.1] El método del contraejemplo
• [2018. S5.1] Ejercicios de Contraejemplo
• 2017
• [2017. S4.2] Métodos de demostración: Contraejemplo

4. Deducción Natural

• 2019
• [2019. S12.2] Deducción Natural I
• [2019. S13.1] Deducción Natural II
• [2019. S13.2] Deducción Natural Ejercicios
• 2018
• [2018. S5.2] Deducción Natural I: Introducción
• [2018. S6.1] Deducción Natural II: Revisión y Ejemplos
• [2018. S6.2] Ejercicios de Deducción Natural
• 2017
• [2017. S5.1] Deducción Natural I
• [2017. S5.2] Deducción Natural II