Maquinas y Herramientas

TEMAS BASICOS Y BIBLIOGRAFIA
PARA EXAMENES DE LA OLIMPIADA1
Asunción Preisser Rodríguez y José Alfredo Amor y Montaño

I. Validez lógica y tipos de argumentos.
 1. Argumentos válidos oinválidos. Tanto en lenguaje de proposiciones como en lenguaje de predicados (con constantes pero sin funciones). Ya sea en español o que aparezcan simbolizados.
2. Identificación de premisas o conclusiones(en argumentos en español).
3. Preguntas conceptuales acerca de la validez de argumentos (como: ¿qué puede decirse de un argumento en español si sus premisas y su conclusión son falsas?).
4. Añadiruna premisa que falta en un argumento válido.
 
II: Simbolizaciones.
1. En lenguaje proposicional.
2. En lenguaje de predicados
3. Conectivos "disfrazados" es decir, que utilizan las mismaspalabras en lenguaje natural que suelen utilizarse para expresar conectivas verifuncionales, pero no lo son. (Como el ejercicio de: "Tú me tiras el café y yo te echo por la ventana").
4. Negación lógicade enunciados tanto en lenguaje proposicional como de predicados, y tanto en lenguaje formal como en español.
 
III: Consistencia.
1. De conjuntos de enunciados (en lenguje proposicional y lenguajede predicados, tanto en español como en lenguaje formal).
2. Preguntas conceptuales acerca de consistencia (Ejemplo: Dado que tal conjunto es consistente, ¿cómo es tal otro? o ¿qué puede decirse detal otra cosa?).
 
IV. Conectivos y tablas de verdad.
1. Simplificación de fórmulas.
2. Tautologicidad.
3. Negación de conectivos.
 
V. Equivalencia lógica.
1. Enunciados en español o lenguajeproposicional (buscar equivalentes o no equivalentes).
2. Usar equivalencias lógicas para simplificar fórmulas.
3. Usar equivalencias lógicas en premisas o conclusiones para analizar argumentos.  
VI. Consecuencia lógica.
1. Conclusiones propuestas que: se siguen o no se siguen lógicamente de un conjunto de premisas.
2. Preguntas acerca de un conjunto desconocido de premisas. (Ejemplo:...