Navegación del libro ‹ 1.8. Inferencia deductiva, validez y solidez arriba 2. El lenguaje de la Lógica ›