Lógica proposicional de enunciados y cuantificacional de primer orden

Licenciado en Filosofía, ofrezco refuerzo académico en lógica formal, especialmente ejercicios de lógica proposicional y preparación a exámenes, tanto en bachillerato como en el grado universitario para la asignatura de lógica de enunciados.

Clases telemáticas y ejercicios explicativos de todo el temario de lógica proposicional: regimentación del lenguaje proposicional, sintaxis de fórmulas bien formadas, funciones veritativas n-arias, conectivas lógicas, semántica, equivalencia lógica, conjuntos completos de conectivas, consecuencia lógica, argumentos y esquemas inferenciales, teoría de conjuntos desde silogismo aristotélico, escolástica, diagramas de Venn, estructuralismo logicista. Satisfacibilidad y corrección argumental, técnicas semánticas de validez proposicional, tablas de verdad, tautologías, contradicciones y fórmulas contingentes, tablas analíticas o árboles semánticos, contra-ejemplos.

Teoría de la prueba, cálculo en deducción natural, reglas de introducción y eliminación de conectivas, métodos, estrategias y recetas para hacer derivaciones, proof-theoretic semantics, consistencia e inconsistencia de fórmulas teóricas, ontologías.