LÓGICA (1er parcial) EJERCICIOS DE FORMALIZACIÓN ESQUEMATICE LOS SIGUIENTES ENUNCIADOS: 1) Si fue F. Bacon, y no Shakespeare, quien escribió Hamlet, entonces uno y otro eran la misma persona y, por consiguiente, G. Cantor tenía razón. G. Cantor no está en lo cierto a menos que Bacon haya escrito las obras de Shakespeare. G. Cantor sólo tiene razón si Bacon escribió las obras de Shakespeare. 2) a) Si la temperatura de un gas es constante y su presión aumenta, su volumen disminuye. En consecuencia, si el volumen de un gas no disminuye, su temperatura varía o su presión no aumenta. b) Teniendo en cuenta que el delito es cierto o incierto, no se debe torturar al delincuente, ya que si el delito es cierto, al delincuente no se le debe aplicar otra pena que la fijada por la ley y no la tortura, y si es incierto, tampoco se le debe torturar, porque es inocente. 3) Si Marx hubiera vivido en el siglo XVIII no habría escrito El Capital. Si Marx es el fundador del marxismo escribió El Capital. Luego Marx no vivió en el siglo XVIII o no es el fundador del marxismo. 4) Si Colón no hubiera logrado ayuda de la Corona española y no hubiera descubierto América no se hubiera cometido genocidio con los indios. Por tanto, si se cometió genocidio con los indios, o Colón encontró ayuda en la Corona española o descubrió América. 5) Si la Comunidad de Estados Independientes tiene política exterior común, entonces la Federación Rusa tiene el botón nuclear; en esta situación Yeltsin ha conseguido su objetivo. Si no hay ayuda económica exterior entonces la CEI no tiene política exterior común. La OTAN tiene gran preocupación por los acontecimientos en el Magreb. Si hay ayuda económica exterior y la OTAN se preocupa por el Magreb entonces la Federación Rusa tiene el control sobre el botón nuclear. Por tanto, Yeltsin ha conseguido su objetivo. 6) Si la partida es ganada por Karpov, entonces él y su entrenador se pondrán nerviosos. Si la partida no es ganada por Karpov, su madre se pondrá furiosa; y, si esto sucede, el entrenador se pondrá nervioso. Por lo tanto, el entrenador de Karpov se pondrá nervioso. 7) Si el anillo de Saturno fuera sólido, entonces las partes internas no girarían a mayor velocidad que las externas. Las partes internas de Saturno giran a mayor velocidad que las externas. Luego, el anillo de Saturno no es sólido. 8) El único modo de acabar con el narcotráfico es legalizar la droga. La droga no se legalizará a menos que se demuestre que es inocua. Por consiguiente, si no se demuestra que la droga es inocua y no empieza a venderse en farmacias no se acabará con el narcotráfico. 9) Si el río se desborda se destruirá toda la cosecha. El río se desbordará si y sólo si se produce un deshielo temprano en las montañas. Habrá lluvias abundantes en el verano. Por tanto, si hay deshielo temprano en las montañas se destruirá toda la cosecha y, o hay lluvias abundantes en el verano o los campesinos se arruinarán. 10) Si el 92 es un año mítico para una gran mayoría y la Expo resulta ser un éxito entonces se convocarán elecciones generales para el mes de noviembre. Si se convocan elecciones para noviembre entonces se realizará un programa económico expansivo. La Expo resulta ser un éxito, pero no se pone en práctica un programa económico expansivo. Por tanto, o bien el 92 no es un año mítico para una gran mayoría o se convocan elecciones generales. 11)Si la maniobra parlamentaria resulta eficaz, entonces se retrasará la decisión y el presidente se saldrá con la suya. Si la maniobra no es eficaz la minoría tendrá un peso decisivo y, si esto sucede, el portavoz parlamentario de la mayoría se pondrá nervioso. Además, si el portavoz de la mayoría se pone nervioso el presidente se saldrá con la suya. Por lo tanto, el presidente se saldrá con la suya. PREGUNTAS TEÓRICAS 1. Explicar las nociones de ‘tautología’, ‘ley lógica’ y ‘regla de inferencia’. 2. Explicar qué es el cálculo de deducción natural y el papel que en él desempeñan las reglas básicas o primitivas (no es necesario reseñarlas). 3. Desarrollar el siguiente tema: La lógica de proposiciones (enunciados) como sistema axiomático. Distinción entre axiomas y teoremas. 4. La lógica como lenguaje formalizado. 5. Explicar la noción de implicación y su relación con el condicional.