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