Introducción. p.1 Elementos de lógica proposicional. p.18 Funciones de verdad y formación de tablas. p. 27 Verificación de Fórmulas moleculares. p.40 Inferencias tautológicas. p.48 Equivalencias tautológicas. p.57 Covertibilidad de los conectores. p.65 Cálculo proposicional axiomatizado. p.72.