5.1. Introducción al cálculo deductivo 5.2. Reglas básicas de inferencia 5.3. Las reglas derivadas de inferencia Navegación del libro ‹ 4.9. Tabla de equivalencias tautológicas arriba 5.1. Introducción al cálculo deductivo ›
