1. Los conectivos oracionales - 2. Teoría oracional de la inferencia - 3. Representación simbólica del lenguaje cotidiano - 4. Teoría general de la inferencia - 5. Otras reglas de inferencia - 6. Apostilla sobre el uso y la mención - 7. Transición de las demostraciones formales a las informales - 8. Teoría de la definición - 9. Conjuntos - 10. Relaciones - 11. Funciones - 12. Fundamentación sinforemática del método axiomático