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