Nociones básicas del cálculo proposicional; la lógica proposicional como sistema de reglas de inferencia, cuadro sinóptico de reglas; reglas de interdefinición y de De Morgan; dilemas; reglas que utilizan supuestos provisionales; la lógica proposicional como cálculo interpretado.