LENGUAJE FORMAL:

Términos y fórmulas bien formadas. Fórmulas atómicas y moleculares. Uso de los paréntesis. Funciones de verdad: Conjunción, Disyunción inclusiva, Negación, Condicional, Bicondicional. Diferencias entre la simbolización lógica y los lenguajes naturales: doble negaciones, disyunciones exclusivas, etc.


TABLAS DE VERDAD:

Tautologías, contradicciones proposicionales, contingencias proposicionales. Formas normales y conjuntos adecuados de conectivas. Asignación de valores.


DEDUCCIÓN NATURAL:

Reglas de inferencia: Modus ponendo ponens, silogismo hipotético, Modus tollendo tollens,… Reglas de equivalencia: Conjunción, conmutación, distributividad, de De‘Morgan, Doble negación, Asociatividad , Idempotencia, Definición del condicional, Definición del Bicondicional.