Lógica

Las preguntas del examen de lógica serán de tres tipos:

• Formalización de enunciados: Se pondrá una argumentación y se tendrá que formalizar en variables y símbolos lógicos.
• Tablas de verdad
• Deducción de la conclusión a partir de premisas.

Apuntes de lógica

Página interactiva

Vídeo sobre lógica y tablas de verdad

Ejercicios de formalización:  Presentación / ejercicios resueltos / ejercicios resueltos 2
Ejercicios de formalización y tablas de verdad: ejercicios
Ejercicios de deducción: Ejercicios 1 / Ejercicios 2 / Reglas y ejemplos / Reglas y ejemplos 2


En los ejercicios de deducción las reglas se pueden nombrar de dos maneras:
IC - Introducción del conjuntor - RI˄ 
EC - Eliminación del conjuntor - RE˄ 
ID - Introducción del disyuntor - RI˅
ED - Eliminación del disyuntor - RE˅
IN - Introducción del negador - RI┐
II - Introducción de la implicación - RI →

EI - Eliminación de la implicación - RE →
SIL DISY - Silogismo disyuntivo - RIA

Ejercicios de lógica

En los siguientes enlaces encontraréis ejercicios de lógica resueltos. Las reglas que se utilizan las llaman de la siguiente manera (lo pongo para que entendáis los pasos, no lo tenéis que aprender):

IC - Introducción del conjuntor - RI˄
EC - Eliminación del conjuntor - RE˄
ID - Introducción del disyuntor - RI˅
ED - Eliminación del disyuntor - RE˅
IN - Introducción del negador - RI┐
II - Introducción de la implicación - RI →

EI - Eliminación de la implicación - RE →
SIL DISY - Silogismo disyuntivo - RIA

Ejercicios:
 Ejercicios 1 / Ejercicios 2

Ejercicios Lógica

Ejercicios de lógica. Formalización. Clase 17-11-2017
Ejercicios de lógica. Formalización. Clase 22-11-2017