Preliminares.--- proposiciones.-- fórmulas bien formadas.--- árboles, definiciones recursivas.--- supresión de paréntesis.--- notación prefijada, entrefijada y posfija.-- decidibilidad.--- convertir una notación entrefija a prefija.--- equivalencias lógicas y su utilización.-- conjuntos completos.--- formas normales.-- cálculo proposicional.--- teorema de la deducción.-- validez.--- completitud.--- consistencia.--- cálculo de predicados.--- predicados, relación y cuantificadores.--- representación simbólica del lenguaje cotidiano.-- variables ligadas y libres.--- teoría general de la inferencia.--- interpretación y validez.