talleres
taller de aplicación de conceptos básicos
taller de falacias
taller de fórmulas bien formadas
taller argumentos implicativos
taller de condiciones (necesaria o suficiente)
taller deducción natural ([argumentos válidos] MPP, MTT, MTP, MPT, I^, E^, Iv, NG, I<->/E<->, Iv/Ev, DM.)
taller de deducción natural II ([argumentos válidos] todas las reglas anteriores más TD, RA y Ev)
taller de deducción natural III ([argumentos válidos sin premisas] todas las reglas)
taller de deducción natural IV ([argumentos indeterminados para evaluar primero si son válidos] todas las reglas)
taller de argumentación I (argumentos válidos)
taller de argumentación II (argumentos indeterminados)
taller tablas de verdad y árboles de forzamiento semántico
taller de semántica en lógica modal