4.1. Implicaciones tautológicas y equivalencias tautológicas 4.2. "Modus Ponens" 4.3. "Modus Tollens" 4.4. Simplificación 4.5. Adición 4.6. El silogismo disyuntivo 4.7. La transitividad 4.8. Equivalencias tautológicas 4.8. Equivalencias tautológicas 4.9. Tabla de equivalencias tautológicas Navegación del libro ‹ a. Insatisfacibilidad arriba 4.1. Implicaciones tautológicas y equivalencias tautológicas ›
