Lógica I – modelo de examen (curso 2006-07) Ejemplo de respuestas 1. Para definir un lenguaje formal damos su alfabeto y sus reglas de formación: Símbolos primitivos: - Variables proposicionales: p, q, r… - Conectivas: monádica N, diádicas C, K, A, E Reglas de formación: R1: Si a es una variable proposicional, a es una fbf de LL R2: Si a es una fbf de LL, entonces Na es una fbf de LL. (Para que salgan como fbfs fórmulas como Np. Es muy importante la cláusula "si a es una fbf", que garantiza que se puede volver a poner una N delante de cualquier cosa que obtengamos como fbf.) R3: si a y b son fbfs de LL y * es una conectiva diádica, entonces *ab es una fbf de LL. (Para que salgan como fbfs fórmulas como Cpq. Es muy importante la cláusula "si a y b son fbfs", que garantiza que se puede volver a poner una C delante de cualquier par de cosas que obtengamos como fbfs.) R4. Ninguna otra secuencia de símbolos es una fbf de LL. 2. a) FALSO. La conclusión de un argumento deductivamente válido sí puede ser falsa. Lo que hace deductivamente válido al argumento es la existencia de una relación de consecuencia entre premisas y conclusión, no los valores de verdad que se dan de hecho. Lo que no puede ocurrir es que un argumento deductivamente válido tenga premisas todas verdaderas y conclusión falsa (porque la relación de consecuencia transmite necesariamente la verdad), pero si alguna premisa es falsa puede ser también falsa la conclusión (lo importante es que si fueran todas verdaderas, sería verdadera la conclusión). b) VERDADERO. Si A es una tautología, entonces es verdadera en toda asignación. Si B es una fórmula contingente, entonces hay alguna asignación que la hace verdadera (y alguna que la hace falsa). Tomemos una asignación que haga verdadera a la fórmula B: en esa asignación también será verdadera la fórmula A (puesto que es verdadera en todas). Por tanto, en esa asignación serán verdaderas todas las fórmulas del conjunto {A, B}. Pero si existe una asignación en la que todas las fórmulas del conjunto son verdaderas, entonces el conjunto es satisfacible. 3. Para saber si el enunciado es verdadero, de acuerdo con el significado de nuestra flecha, tenemos que mirar a la tabla de verdad: p q (p→q) (hay una vocal) (hay un número par) (si hay vocal, entonces hay par) V V V V F F F V V F F V Tendremos que localizar a qué línea de la tabla de verdad corresponde cada carta ("los hechos del mundo real" son los que nos dicen en qué asignación estamos, y cada carta es un "hecho del 2 mundo": por ejemplo, una carta con un 2 y una A sería la asignación VV), y ver si en esa línea el enunciado es verdadero. Pero, como hemos visto en clase, a veces no necesitamos conocer los valores de verdad de las dos partes del condicional para saber su valor de verdad. Por eso no necesitamos dar la vuelta a todas las cartas, basta con la cara que vemos para saber el valor de verdad del condicional, independientemente de lo que haya en la otra cara. Carta primera: en una cara hay un número par, es decir, el consecuente del condicional es verdadero (líneas primera y tercera). Por la otra cara puede haber una vocal o una consonante, pero en cualquiera de los dos casos el enunciado es verdadero, así que no tengo que darle la vuelta a la carta. Carta segunda: en una cara hay un número impar, es decir, el consecuente del condicional es falso (líneas segunda y cuarta). Por la otra cara puede haber una vocal o una consonante. Si hay vocal, el condicional tiene antecedente verdadero y consecuente falso (y por tanto es falso), pero si hay consonante el condicional tiene antecedente falso y consecuente falso (y por tanto es verdadero). Así que sí tengo que darle la vuelta a la carta. Tercera carta: en una cara hay una vocal, es decir, el antecedente del condicional es verdadero (líneas primera y segunda). Por la otra cara puede haber un número par o impar. Si hay número par, el condicional tendrá antecedente verdadero y consecuente verdadero (y será por tanto verdadero), pero si hay número impar, el condicional tendrá antecedente verdadero y consecuente falso (y será por tanto falso). Así que sí tengo que darle la vuelta a la carta. Cuarta carta: en una cara hay una consonante, es decir, el antecedente del condicional es falso (líneas tercera y cuarta). Por la otra cara puede haber un número par o impar, pero en cualquiera de los dos casos el enunciado es verdadero, así que no tengo que darle la vuelta a la carta. En resumen: puedo conocer el valor de verdad del condicional sin darles la vuelta a todas las cartas, porque a veces el valor de verdad de una de las partes ya basta para determinar el valor del compuesto, independientemente del valor de la otra parte. 4. Consejo: inventar la fórmula lo más sencilla que sea posible, cumpliendo las condiciones. Inventar la fórmula: (¬((p←¬p)∨(p∧p))→¬p) (tiene grado 7, al menos cinco conectivas distintas, su conectiva principal es la flecha y su antecedente es negación de disyunción, y una de sus subfórmulas inmediatas es ¬p) Árbol de formación: (¬((p←¬p)∨(p∧p))→¬p) ¬p ¬((p←¬p)∨(p∧p)) ((p←¬p)∨(p∧p)) (p←¬p) p (p∧p) ¬p p p p Asignación: Para que la fórmula sea verdadera, basta con que su consecuente sea verdadero (no importa qué valor de verdad tome el antecedente). Y para que ¬p sea verdadera, p tiene que ser falsa. Por tanto, la asignación ν(p)=F hace verdadera a la fórmula. 3 5. Es importante recordar que estamos en lógica proposicional: descomponemos los enunciados en enunciados simples y nexos entre enunciados simples. No ponemos nexos entre cosas que no sean enunciados, ni analizamos los enunciados simples "por dentro". a) (p→q) p=tú piensas mal q=tú aciertas (no es una conjunción, pues en una conjunción afirmamos las dos partes, y aquí no afirmamos que estés pensando mal ni que estés acertando) b) (p∧¬q) p=Maui es un perro q=Maui es un peluche (el nexo, que no aparece explícito, debe ser una conjunción, pues estamos afirmando las dos cosas al mismo tiempo) c) (p∧q) p=el sida es mucho menos contagioso que la gripe q=el sida es mucho más peligroso que la gripe (en lógica proposicional no podemos analizar los enunciados comparativos "por dentro") d) (p←q) p=las mariposas tienen las alas en buen estado q=las mariposas pueden volar (el antecedente del condicional, tanto directo como inverso, es siempre el enunciado que va con el nexo, sea "si" o "solo si", y es lo que debe colocarse siempre delante de la flecha, sea normal o inversa) e) (q←p) p=Julia canta con alba q=Julia tiene un público entusiasta f) El enunciado es ambiguo, pero una posible lectura sería (r → ((p∧q)∨s)), que dice qué haré si me toca la lotería; o también ((r → (p∧q))∨s), que parece sugerida por la coma que sigue a “lotería”; o incluso (((p∧(r→q))∨s) p=te regalo el cuadro que te gusta q=viajamos juntos a Ithamaracá r=me toca la lotería s=dejo de llamarme Ernesto También se puede considerar el "cuando me toque la lotería" no como el antecedente de un condicional "si me toca la lotería, entonces…" sino como un complemento temporal, y en ese caso no lo analizamos, pues es una parte de un enunciado y no un enunciado: ((p∧q)∨s) p=te regalo el cuadro que te gusta q=viajamos juntos a Ithamaracá cuando me toca la lotería r=dejo de llamarme Ernesto 6. El silogismo disyuntivo tiene esta estructura: (p∨q), ¬p ∴q Calculamos todas las asignaciones para las variables proposicionales del argumento (son cuatro, porque hay dos variables), y aplicamos las definiciones de las conectvas para calcular el valor de verdad de cada fórmula en esas asignaciones. ∴ p q (p∨q), ¬p q V V V F V V F V F F F V V V V F F F V F Como en ninguna asignación ocurre que todas las premisas son verdaderas y la conclusión es falsa, quiere decir que hay relación de consecuencia y por tanto el argumento es válido. 7. Suponemos que no existe relación de implicación: entonces habrá una asignación en la que todas las fórmulas del conjunto serán verdaderas y la otra fórmula falsa. Intentamos determinar cuál sería esa asignación. Importante: no sirve para nada una lista de Vs y Fs, quien corrige debe poder saber de dónde han salido esos valores. Para eso usamos las rayas horizontales, que indican cuándo no sabemos los valores (porque hay varias posibilidades y no podemos elegir sin más una de ellas) y tenemos que esperar a que salga algún valor por otro lado para sustituirlo, y las indicaciones de qué estamos sustituyendo en cada 4 caso. (Para mayor claridad, en este modelo de respuestas indico con las flechas azules el orden en el que he hecho las cosas.) (p→q) (¬q∨r) ¬(r∧¬s) (s←p) V V V F (r∧¬s)=F sust p=V s=F p=V (V→q)=V q=V sust q=V (F∨r)=V r=V sust r=V (V∧¬s)=F ¬s=F s=V Supuestamente, la asignación que satisface al conjunto pero hace falsa a la fórmula (s←p) es la asignación p=V, q= V, r=V, s=V/F. Como no es posible que en una asignación una misma variable proposicional (s) tenga el valor V y F, la hipótesis que nos ha llevado a este absurdo es falsa, no existe ninguna asignación que hace satisface al conjunto pero hace falsa a la fórmula, y por tanto sí existe relación de implicación. 8. Consejo para las tablas analíticas: construir la tabla ordenada y limpia, que se vea bien por dónde va ramificándose. Si es necesario, usar una página entera para cada tabla, lo importante es que quede todo claro. Tabla a) 1. ¬(((p∧q)→r)↔((p→r)∨(q→r))) 2.1 ((p∧q)→r) 3.1 ¬((p→r)∨(q→r)) 4.1 ¬(p→r) de 3.1 5.1 ¬(q→r) de 3.1 6.1 p 7.1 ¬r 8.1 q 9.1 ¬r . . . . . . . . 10.1.1 cerrada de 1 de 4.1 de 4.1 de 5.1 10.1.2 . 10.1.1.2¬q cerrada 2.2. ¬((p∧q)→r) 3.2. ((p→r)∨(q→r)) 4.2. (p∧q) 5.2. ¬r 6.2. p de 4.2 7.2. q de 4.2 8.2.1. (p→r) 9.211 ¬p de 5.1 ¬(p∧q) 10.1.1.1 ¬p de 1 r de 2.1 cerrada cerrada de 1 de 1 de 2.2 de 2.2 9.212 8.2.2. r cerrada 9.221 (q→r)de 3.2. ¬q cerrada 9.222 r cerrada 5 Nota sobre las ramas. Una rama es todo el conjunto de fórmulas que va desde la número 1 hasta una de las fórmulas que no tienen otra debajo. Por ejemplo: Rama 1.1.1: {¬(((p∧q)→r)↔((p→r)∨(q→r))), ((p∧q)→r), ¬((p→r)∨(q→r)), ¬(p→r), ¬(q→r), p, ¬r, q, ¬r, ¬(p∧q), ¬p} Esta rama está cerrada, porque contiene una fórmula y su negación: p, ¬p. Rama 2.1.2: {¬(((p∧q)→r)↔((p→r)∨(q→r))), ¬((p∧q)→r), ((p→r)∨(q→r)), (p∧q), ¬r, p, q, (p→r), r} Esta rama está cerrada, porque contiene una fórmula y su negación: r, ¬r. Tabla b) 1. ((p→q) ∨¬(p∧q)) 2. ¬¬(p∨r) 3. (p∨r) de 2 4.1. (p→q) de 1 5.1.1. p 6.111. ¬p 6.112. q de 41 6.121. ¬p 6.122. q de 41 Cerrada abierta abierta abierta 5.1.2. r de 3 4.2. ¬(p∧q) de 1 5.2.1. p 5.2.2. 6.211. ¬p 6.212 ¬q de 42 6.221 ¬p 6.222 ¬q de 42 cerrada abierta abierta abierta r de 3 Ejemplos de ramas: Rama 1.2.2: {((p→q) ∨¬(p∧q)), ¬¬(p∨r), (p∨r), (p→q), r, q} Esta rama está abierta, porque no contiene una fórmula y su negación. Rama 2.1.1: {((p→q) ∨¬(p∧q)), ¬¬(p∨r), (p∨r), ¬(p∧q), p, ¬p} Esta rama está cerrada, porque contiene una fórmula y su negación: p, ¬p. 9. Formalización de los enunciados del anciano: (¬p→q) ((r∨¬p)→ ¬q) Que el régimen pueda respetarse es que puedan ser verdaderos a la vez los enunciados del anciano, es decir, que compongan un conjunto satisfacible. Para comprobar que lo es, hacemos su tabla analítica y si queda alguna rama abierta, el conjunto será satisfacible. 1. (¬p→q) 2. ((r∨¬p)→ ¬q) 3.1. ¬(r∨¬p) 3.2. ¬q 4.1. ¬r 4.2.1. ¬¬p 5.2.1. p de 4.2.1. de 3.1. 5.1. ¬¬p de 3.1. 8.1.1. p 7.1.2. q de 7.1.1. 4.2.2. q de 1 rama cerrada rama abierta 6.1. p de 5.1. 7.1.1. ¬¬p de 2 de 1 rama abierta rama abierta Quedan tres ramas abiertas (solo se cierra la 2.2, que contiene q y ¬q): el conjunto es satisfacible, y por tanto sí se puede respetar el régimen. El conjunto de literales de cada rama define maneras posibles de hacer verdaderas a las fórmulas (asignaciones en las que las dos fórmulas son verdaderas). Por ejemplo, en la rama 1.2 tenemos ¬r , p y q: es decir, se pueden cumplir las normas del régimen con un menú que no contenga helado, sí contenga cerveza y también pescado. En la 6 rama 2.1 tenemos ¬q y p: es decir, se pueden cumplir las normas del régimen con un menú que contenga cerveza pero que no contenga pescado (y el helado, a elegir). 10. Nota: es importante razonar las respuestas, no contestar con una sola palabra. a) Una ley lógica es una fórmula que “cuenta siempre con el valor 1, al margen de cuáles puedan ser los valores de p, q, r, etc.”, es decir, una tautología. b) Por ejemplo, cuando habla de relaciones lógicas entre proposiciones, o cuando dice que p, q, r representan proposiciones. También se ve en la tabla de verdad que el análisis es en proposiciones simples y nexos entre proposiciones. c) ((p→q) →(¬q→¬p)) Si hay duda sobre los paréntesis, la tabla de verdad debería bastar para disolver la duda, pues en ella se reproduce el proceso de formación de la fórmula y queda claro qué es subfórmula de qué. d)Todas las combinaciones de valores veritativos (para las variables proposicionales) son 2n (donde n es el número de variables proposicionales), porque cada variable puede tomar dos valores (0 y 1), y estas posibilidades deben combinarse entre sí: cuando son dos variables 2 posibilidades para la p x 2 posibilidades para la q=4; cuando hay tres variables 2 para la p x 2 para la q x 2 para la r = 8; cuando hay cuatro variables 2 para la p x 2 para la q x 2 para la r x 2 para la s = 16. e) B. Russell y A. N. Whitehead a principios del siglo XX. f) No: el significado es lo que expresa la tabla de verdad correspondiente (es decir, “la relación que esta función guarda con la verdad o falsedad de sus constituyentes p y q”). “P implica q” es una traducción aproximada de eso en el lenguaje natural. g) Sí: hacer semántica es dar un contenido cualquiera a los signos del lenguaje, por ejemplo, los valores 0 y 1 para las variables proposicionales. Después, esos valores pueden interpretarse como “verdadero” y “falso”, o no. h) Intuitivamente asociamos la noción de “ley lógica” con la de “verdad universal”, pero las leyes lógicas de un sistema son simplemente las fórmulas que tienen siempre el valor 1, y el valor de una fórmula depende de los significados de las funciones que intervengan, y el significado de cada función se establece dando su tabla de verdad: si elegimos significados distintos para las funciones, tendremos como resultado leyes lógicas distintas.