Los alumnos deben saber de qué se ocupa la lógica y, más concretamente, la lógica formal. Distinguirán las distintas proposiciones que componen los silogismos, los términos que aparecen en ellos y en qué modos se distribuyen estos. Además, aprenderán a demostrar su validez mediante diagramas de Venn y tablas de verdad
