Funciones Veritativas.-- Negación, conjunción y disyunción.-- El condicional.-- Agrupación.-- Analisis veritativo- funcional.-- Consistencia y validez.-- Implicación.-- Palabras en símbolos.-- Equivalencias.-- Esquemas normales.-- Dualidad.-- Cuantificación uniforme.-- Enunciados categóricos.-- Diagramas de Venn.-- Silogismos.-- Limites de estos métodos.-- Cuantificación.-- Teoría general de la cuantificación.-- Generalización de la cuantificación.-- Valides de los esquemas cuantificacionales.-- Leyes de implicación.-- Perspectivas ulteriores.-- Existencias e inferencia singular.-- Términos singulares y términos generales.- - Identidad.-- Descripciones.-- Eliminación de términos singulares.-- Teorías de las clases, matemática y teoría de la mostración.-- Otras teorías de clases.