Lógica proposicional

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, 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.

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.