Hoy estuvimos viendo muchos temas de lógica... ¡hay poco tiempo! Fueron los siguientes:

1. Validez, invalidez, contraejemplos (a nivel elemental): repaso de lo visto las clases anteriores, solución de algunos ejercicios.

2. Determinar si un razonamiento expresable en lógica proposicional es válido o no mediante métodos "semánticos" (tablas de verdad, etc.): a) formalizar el razonamiento traduciéndolo al lenguaje lógico, b) hacer tabla de verdad conjunta para premisas y conclusión y c) buscar posibles contraejemplos lógicos (renglones con premisas V y conclusión F).

También  terminamos de ver las "tablas" de los conectivos: negación y condicional (la negación de A es V si y sólo si A es F; A--->B es F sólo en caso de que A sea V y B F)

3. Reglas de inferencia: presentamos el modus ponens, simplificación, conjunción, adición, repetición.

En posts sucesivos voy a explicar estos tres puntos y voy a dejar ejercicios para el lunes.