Compartir
×
Iniciar en:
Terminar en:
Cursos
Actualizaciones
FAQs
Sobre el proyecto
Lógica
Práctico 4, Deducción Natural en la lógica proposicional
24/04/2020
Descargar
Compartir
Práctico 2020
Teórico 2019
Teórico 2013
1
Práctico 1, 1era parte - Induccción
2
Práctico 1, 2da parte - Recursión
3
Práctico 2, Sintaxis de la lógica proposicional
4
Práctico 3, Semántica de la lógica proposicional
5
Práctico 4, Deducción Natural en la lógica proposicional
6
Práctico 5, Completitud de la lógica proposicional
7
Práctico 6, Sintaxis de primer orden
8
Práctico 7, Semántica de primer orden - 1era parte
9
Práctico 7, Semántica de primer orden - 2da parte
10
Práctico 8, Deducción Nautural en primer orden
11
Práctico 9, Completitud de primer orden
