Loggics

Tema

Título

Temas

1

Proposiciones y
argumentos

2

Sintaxis y simbolismo

3

Semántica

Los argumentos y la lógica, proposiciones,
premisas y conclusiones, buenos argumentos,pruebas, lógica simbólica o formal
Fórmulas atómicas y conectivos lógicos, fórmulas
compuestas, conjunción, disyunción, condicionales
o implicaciones, negaciones, combinación de
conectores,sintaxis formal, árboles de análisis,
convencionalismos
Asignaciones de valores de verdad, funciones de
valores de verdad o funciones lógicas,
herramientas del Truth-Lab, tablas de verdad,
evaluaciónde valor de verdad con árboles de
análisis, tautología, contradicción, fórmulas
contingentes, argumentos válidos, consecuencia
lógica, invalidez de argumentos, contraejemplos,
condicional análogo,árboles de verdad
Primer examen corto (laboratorio)
Herramientas del Proof-Lab, reglas de
introducción, introducción de conjunción, de
disyunción y de condicional, uso de las reglas deintroducción, subderivaciones
Reglas de eliminación, eliminación de condicional
(modus ponens), eliminación de conjunción,
eliminación de disyunción, uso de las reglas de
eliminación, subfórmulas positivasIntroducción de negación, eliminación de
negación, tácticas de derivación, extracción,

4
5

Derivaciones con
reglas de
introducción

6

Derivaciones con
reglas de eliminación

7Reglas indirectas

Inicia

Termina

08/Ene

10/Ene

15/Ene

17/Ene

22/Ene

24/Ene

29/Ene
31/Ene

5/Feb
Lab

7/Feb

12/Feb

14/Feb

19/Feb

8
9

10

11
12

1314
15

16
17

18
19

20

21

22

conversión, inversión, división, refutación, ex falso
quodlibet, doble negación, contradicciones y
candidatos a contradicción
Examen parcialRepaso de temas y preparación
Estrategias y reglas
Algoritmo de derivación, extracción, conversión,
derivadas
inversión, división, refutación, propiedades de la
conjunción y la disyunción,...