Next: 4.1 Iteración Up: Introducción a la deducción Previous: 3.4 Notación Contents
Aquí están enunciadas y explicadas las nueve reglas básicas que se usan en la deducción natural. Indican cuándo y cómo podemos añadir nuevas fórmulas que sigan siendo ciertas.
Los ejemplos (explicados) están en la siguiente sección.