Prefacio. 1. Simbolización de proposiciones.
1.1 Proposiciones.
1.2 Términos de enlace.
1.3 La forma de las proposiciones moleculares.
1.4 Simbolización de proposiciones.
1.5 Los términos de enlace y sus símbolos.
1.6 Agrupamiento y paréntesis.
1.7 Eliminación de algunos paréntesis.
1.8 Resumen. 2. Inferencia lógica.
2.1 Introducción.
2.2 Reglas de inferencia y demostración.
2.3 Deducción proposicional.
2.4 Más sobre paréntesis.
2.5 Otras reglas de inferencia.
2.6 Proposiciones bicondicionales.
2.7 Resumen de reglas de inferencia. 3. Certeza y validez.
3.1 Introducción.
3.2 Valores de certeza y términos de enlace de certeza funcional.
3.3 Diagrama de valores de certeza.
3.4 Conclusiones no válidas.
3.5 Demostración condicional.
3.6 Consistencia.
3.7 Demostración indirecta. 4. Tablas de certeza.
4.1 Tablas de certeza.
4.2 Tautologías.
4.3 Implicación tautológica y equivalencia tautológica.
4.4 Resumen. 5. Términos, predicados y cuantificadores universales.
5.1 Introducción.
5.2 Términos.
5.3 Predicados.
5.4 Nombres comunes como predicados.
5.5 Fórmulas atómicas y variables.
5.6 Cuantificadores universales.
5.7 Dos formas típicas. 6. Especificación universal y leyes de identidad.
6.1 Un cuantificador.
6.2 Dos o más cuantificadores.
6.3 Lógica de la identidad.
6.4 Certezas lógicas. 7. Un sistema matemático simple: axiomas de la adición.
7.1 Axioma de la propiedad conmutativa.
7.2 Axioma de la propiedad asociativa.
7.3 Axioma del cero.
7.4 Axioma de los números negativos. 8. Generalización universal.
8.1 Teoremas con variables.
8.2 Teoremas con cuantificadores universales. Índice alfabético.