Clase 7 Lógica de predicados

Lógica de predicados. Cuantificadores universales y existenciales. Concepto de función lógica. Justificación del silogismo mediante la deducción natural