Lgica 1. Lgica de enunciados. Curso 2008-2009 TEMA 1. INTRODUCCIN. Argumentos y enunciados. Relaciones argumentativas. Premisas y conclusin. Supuestos.

Argumentos categricos e hipotticos. Concatenacin de argumentos. Deduccin, induccin y abduccin. Conceptos de correccin argumental: cualitativo, comparativo y cuantitativo. Correccin formal o deductiva. Solidez. Definiciones en extensin y definiciones en intensin. Definicin recursiva. Nocin de consecuencia lgica. Definiciones de la consecuencia lgica. Nocin de algoritmo o procedimiento efectivo. Decidibilidad. TEST 1. Un argumento es: a. Un enunciado complejo. b. Un conjunto de enunciados estructurado por medio de relaciones argumentativas. c. Un conjunto de enunciados. d. Un conjunto de argumentos o enunciados estructurados por medio de relaciones argumentativas. 2. Desde un punto de vista lgico los argumentos se clasifican en: a. Verdaderos y falsos. b. Correctos e incorrectos. c. Ms o menos convincentes. d. Categricos e hipotticos. 3. Un argumento es complejo si a. Contiene subargumentos. b. Contiene subargumentos y no es hipottico. c. Si consta de ms de un enunciado. d. No es concatenado. 4. Lo caracterstico de los argumentos hipotticos es a. Que no tienen premisas propiamente dichas. b. Que hacen depender la verdad de la conclusin de la correccin de un subargumento. c. Que si fueran correctos, su conclusin sera verdadera. d. Que contienen supuestos. 5. En un argumento concatenado a. Hay mltiples premisas. b. Hay varios subargumentos. c. Hay un enunciado que funciona como conclusin de un subargumento y como premisa de otro. d. Hay varios subargumentos categricos. 6. Atendiendo a la correccin formal los argumentos se clasifican como a. Correctos e incorrectos. b. Ms o menos fuertes. c. Categricos, hipotticos y concatenados. d. Segn una escala numrica.

Lgica 1. Lgica de enunciados. Curso 2008-2009

7. El argumento: Los profesores universitarios suelen hablar ingls; Fernndez es profesor de la UAM; por tanto presumiblemente Fernndez habla ingls es a. Deductivo. b. Inductivo. c. Abductivo. 8. El argumento: Garca es soltero; por tanto Garca no est casado es a. Deductivo. b. Inductivo. c. Abductivo. d. De ninguno de esos tipos. 9. El argumento: Todos los profesores de lgica, sin excepcin, son aburridos; Martnez es profesor de lgica; por tanto Martnez es aburrido es a. Formalmente correcto pero no slido. b. Formalmente no-correcto pero slido. c. Slido y formalmente correcto. d. Ni slido ni formalmente correcto. 10. Considrese la definicin siguiente: Se llama factorial de n al producto de todos los naturales entre 1 y n. Qu tipo de definicin es? a. Recursiva. b. En intensin. c. En extensin. d. Por enumeracin simple. 11. Es cierto que los conjuntos finitos son decidibles? a. No. b. Slo si su complementario es recursivamente enumerable. c. S. d. Slo si pueden definirse por recurrencia. 12. Preguntar a un orculo que siempre responde y siempre dice la verdad, es un procedimiento efectivo? a. S. b. Depende de la naturaleza del orculo. c. No. d. Es una definicin recursiva de las verdades. 12. Un enunciado A es deducible correctamente de un conjunto de enunciados {B1, ,Bn} si y solo si la verdad de B1 y y Bn comporta necesariamente la verdad de A. Partiendo de esa definicin de la correccin deductiva, dado un enunciado A y un conjunto de enunciados {B1,,Bn} cualesquiera, no pueden suceder que a. A sea deducible de {B1,,Bn} y no-A no sea deducible de {B1,,Bn}. b. Ni A ni no-A sean deducibles de {B1,,Bn}. c. No-A sea deducible de {B1,,Bn} y A no sea deducible de {B1,,Bn}. d. Tanto A como no-A sean deducible de {B1,,Bn}.

Lgica 1. Lgica de enunciados. Curso 2008-2009 13. Considrese la siguiente definicin de correccin deductiva sobre el conjunto N de los nmeros naturales: - Si n pertenece a un conjunto de nmeros naturales entonces n es deducible de ese conjunto. - Si un conjunto de nmeros naturales contiene dos nmeros j y k tales que j+k=n entonces n es deducible de ese conjunto. a. S. b. No, los nmeros no son enunciados. c. No porque del conjunto vaco no podra deducirse nada. d. No porque no define un nico conjunto. Resuelto por : Julio Martnez-Cava Aguilar