4.1. Implicaciones y equivalencias tautológicas 4.2. Modus Ponens y Modus Tollens 4.3. Adición y Simplificación 4.4. Transitividad y Silogismo Disyuntivo 4.5. Definición de las leyes de la Lógica Navegación del libro ‹ 3.4. Tablas de verdad (3) arriba 4.1. Implicaciones y equivalencias tautológicas ›