Skip to content.
Lógica
Terminología matemática
I
Conjuntos, relaciones y funciones
II
Sintaxis de la lógica proposicional
III
Semantica de la logica proposicional
IV
Teoria de la demostracion para logica proposicional
14
Sistemas formales de demostracion
15
El sistema de Gentzen para la logica proposicional
16
Teorema de la deduccion
17
Reglas derivadas en el sistema de Gentzen
18
Correccion, completitud y decidibilidad
V
Sintaxis de la logica de predicados
VI
Semantica de la logica de predicados
VII
Teoria de la demostracion en logica de predicados
← Volver a la página principal
Teoria de la demostracion para logica proposicional
Parte IV
Teoria de la demostracion para logica proposicional
14
Sistemas formales de demostracion
15
El sistema de Gentzen para la logica proposicional
16
Teorema de la deduccion
17
Reglas derivadas en el sistema de Gentzen
18
Correccion, completitud y decidibilidad