1. Deducción con el Modus Ponens
2. Deducción con el Teorema de deducción
3. Deducción con la Simplificación
4. Deducción con el Producto
5. Deducción con la Adición
6. Deducción con la Prueba por Casos
7. Deducción con la Doble Negación
1. Más práctica con el Teorema de Deducción
1. Práctica masiva del cálculo deductivo
2. Las deducciones de Platón