Lógica simbólica Variables sentenciales Conjunciones Tablas de verdad Negación y agrupación Disyunción Disyunción inclusiva Disyunción exclusiva Condicionales

Enunciados compuestos Enunciados conjuntos Enunciados disyuntivos Enunciados hipotéticos Función de verdad Silogismo disyuntivo Silogismo hipotético Modus ponens (modo afirmativo) Modus tollens (modo negativo)

Silogismo, Silogismo categórico, Naturaleza formal del silogismo, Silogismo categórico de forma típica, Figura, Reglas que debe cumplir un silogismo categórico de forma típica.

Proposiciones categóricas, formas típicas y distribución de los términos sujeto y predicado en las formas típicas

Introducción a los conceptos: - Lógica y razonamiento. - Proposiciones y conclusión. - Diferencia entre razonamiento y pensamiento. - Diferencia entre razonamiento y explicación. - Premisas válidas. - Diferencia entre razonamiento deductivo e inductivo. - Diferencia entre verdad y validez. - Razonamiento sólido. - Falacia.