Navegación del libro ‹ 4.2. Modus Ponens y Modus Tollens arriba 4.4. Transitividad y Silogismo Disyuntivo ›