1º Bach.: Tema 6 - Lógica: Ejercicios y actividades

1. De qué se ocupa la lógica.
2. Define razonamiento lógico.
3. Elementos básicos de una inferencia.
4. Tipos de razonamiento.
5. Por qué los razonamientos no pueden ser verdaderos ni falsos.
6. ¿Qué son las paradojas lógicas? Explica el ejemplo y la solución en la paradoja del mentiroso.
   
7. ¿Qué son las falacias? Tipos. Pon ejemplos de cada una y completa la actividad 3 (p. 123).
   
8. Distingue entre lógica de enunciados, lógica de predicados y lógica de clases.
9. Estudia el contenido de las pp. 126-135, para identificar:
   a) Variables y símbolos lógicos (negación, conjunción, condicional, bicondicional).
   b) Reglas de inferencia
10. p. 137: Haz la actividad 7 (poniendo ejemplos de razonamientos que respondan a a esas estructuras) y la actividad 8.
11. Intenta demostrar mediante tablas de verdad la fórmula (P v Q) -> ~P.
    - Para ello, entra en el servidor donde puedes realizarla de forma automatizada, en este enlace:
    http://logik.phl.univie.ac.at/~chris/gateway/formular-uk-zentral.html
    

Aquí tienes un vídeo donde se explica cómo se construye una tabla de verdad. Y en auladefilosofía algunos ejercicios de formalización resueltos. Las reglas para construir tablas de verdad las tienes en la pág. 130 de tu libro de texto.

Fecha: Preguntas 1-6 para la 1ª clase tras las vacaciones. Las restantes, para la siguiente clase.