¿Qué es?
Es un procedimiento para la construcción de demostraciones. Se denomina así porque las reglas de inferencia utilizadas se corresponden con principios intuitivos.
¿Cuáles son las reglas?
Las reglas de la deducción natural se dividen en los dos grupos siguientes:
- Reglas de introducción: Permiten construir un enunciado haciendo aparecer una determinada conectiva.
- Reglas de eliminación: Permiten escribir un nuevo enunciado sin una determinada conectiva.