Tarea 3-Demostración condicional

Ejercicios para la aplicación del método de demostración condicional. 3ª tarea del curso Lógica 2, semestre 2009-2.

Tarea 4-Método de demostración condicional (2ª parte)

4ª tarea del curso de Lógica 2, semestre 2009-2, referente al Método de la demostración condicional.

Tarea 5-Reducción al absurdo

5ª tarea del curso Lógica 2, semestre 2009-2. El método indirecto de la reducción al absurdo.

Tarea 6: Simbolización de proposiciones generales

Tarea 6 del curso de Lógica 2, semestre 2009-2. Ejercicios para la simbolización de proposiciones generales.