Nivel 3

Lógica y deducción natural

Demostrabilidad (⊢) y verdad (⊨): deducción natural, tablas de verdad, solidez y la completitud de Kalmár.

Adaptado de: Capítulo: Lógica proposicional y fundamentos de la deducción natural.

Contenido

1. Demostrabilidad: deducción natural
2. Verdad: semántica de tablas
3. Solidez: ⊢ implica ⊨
4. Completitud: el argumento de Kalmár
5. La perspectiva constructiva: BHK y NJ