EJERCICIOS DE LOGICA HOJA 1

1. Determinar el valor de verdad de los enunciados que se enumeran a continuacin, escribiendo las proposiciones que los expresan formalo mente y la la de la tabla de verdad que corresponde en cada caso. (i) Si Napolen Bonaparte era chino, entonces 3 2 = 2. o (ii) O las rosas son animales o el perro tiene cuatro patas. (iii) Si un hombre es cuadrpedo entonces malla. u u (iv) Par est en Francia o Madrid est en Africa. s a a (v) La piedra pmez es hombre si y slo si las mujeres son sardinas. o o (vi) Ni los perales dan cerezas ni Cleopatra no fue china. (vii) No es cierto que si las ranas no rebuznan, es 3 por 2 igual a 7. (viii) Si las setas son animales y el Cid era espaol, la longitud de la n circunferencia es dos veces el radio. (ix) En una baraja de 40 cartas hay 45 ases si y slo si el cuero es una o planta. (x) O Viriato cruz el Mar Rojo para apoderarse de Hungr o si Felipe o a II fue rey no le toc el trono en una rifa. o 2. Se sabe que si un perro es negro, entonces muerde, y si un perro tiene la rabia, tiene sed. Probar que si el perro es negro o tiene la rabia, entonces muerde o tiene sed. 3. Realizar la escritura formal y el anlisis de verdad de las siguientes a frases de autor: (i) Eur pides: ((en no habiendo vino no hay ya amor)). (ii) Louis-Ferdinand Cline: ((Cuando uno no tiene imaginacin, la e o muerte es poca cosa; cuando uno la tiene, la muerte es demasiado)). (iii) Kafka: ((Ese lapso, corto quiz si se le mide por el calendario, es a interminablemente largo cuando, como yo, se ha galopado a travs de e l)). e 4. Expresar en lengua castellana las siguientes sentencias a) b) c) d) P (Q R) (R S) T U (S T ) (P Q) U e) f) g) h) (R S) U Q (Q R) (Q R) S (T P ) (S Q)

asignando el siguiente signicado a las proposiciones simples: P =((Juan coge el autobs)), Q=((El autobs llega tarde)), R=((Juan pierde su u u cita)), S=((Juan queda abatido)), T =((Juan va a casa)), U =((Juan pierde el trabajo)). 5. Escribir las tablas de verdad de las proposiciones del ejercicio 4.

 EJERCICIOS DE LOGICA HOJA 2

1. Expresar todas las funciones booleanas de una variable, 2 2, y todas las de dos variables, 22 2, usando cada uno de los siguientes sistemas de conectores siguientes: (i) {, , }, (ii) {, }, (iii) {, } y (iv) {, }. 2. Para cada una de las proposiciones que se proponen, encontrar otra con la misma funcin de verdad que la dada y que est escrita en cada o e uno de los sistemas de conectores siguientes: (i) {, }, (ii) {, } (iii) {, }. Las proposiciones propuestas son: (i) (p q) (q r), (ii) p (q r), (iii) (p p) (p r), (iv) (p q) r. 3. Para cada una de las proposiciones siguientes, encontrar otra con la misma funcin de verdad que la negacin de la dada y en la que el o o conector negacin slo se aplique sobre las letras individuales: o o (i) p (p r), (ii) p (p r), (iii) p (q r). 4. Supongamos un conector constante (sin variables) al que asignamos como valor 0 (falso) y que denotaremos con el propio s mbolo 0. Averiguar si el sistema de conectores {0, } es o no adecuado. 5. Expresar todas las funciones booleanas de una y dos variables que sea posible como funciones de verdad de proposiciones escritas unicamente con los siguientes grupos de conectores: (i) {, }, (ii) {, }, (iii) {}. 6. Sea la funcin booleana de tres variables, : 2 2 2 2, dada o por la expresin (x, y, z) = (x y) z. Demostrar que esta funo cin engendra todas las funciones booleanas. En particular, expresar o mediante la funcin de verdad de la proposicin P = r (p q). o o 7. Se llama ((barra de Sheer)) o ((nand)) al conector binario cuya funcin o de verdad f (x, y) vale 0 si y slo si x = 1 = y. Demostrar que este o conector, que se escribe P | Q, alcanza a expresar todas las funciones de verdad. En particular, expresar slo con | la funcin de verdad de o o la proposicin P = r (p q). o 8. Repetir el ejercicio 7 con el conector binario ((nor)), que se escribe P Q, cuya funcin de verdad f (x, y) vale 1 si y slo si x = 0 = y. o o

 EJERCICIOS DE LOGICA HOJA 3

Sea el conjunto S = {p1 , p2 , p3 , . . . }. En el conjunto P rop(S), con los conectores {, } y sus derivados usuales, sea la proposicin o P = p1 ((p2 p3 ) (p4 p2 )). En los ejercicios siguientes se pide calcular el valor f (P ) que toma P en los conjuntos que se indican, con las operaciones que se mencionan, y una vez dados en cada caso los valores que toman los tomos. a 1. Valorar en el conjunto 2 = {0, 1} con las operaciones habituales, siendo el valor de los tomos f (pn ) = 0 si n es par y f (pn ) = 1 si n es impar. a
1 2. Valorar en en el conjunto L = {0, 2 , 1}, con las operaciones

x y = m n{1, 1 x + y}, x = x 0,
r siendo el valor de los tomos f (pn ) = 2 , donde r es el resto m a nimo positivo de n mdulo 3. o

3. Valorar en el conjunto P rop(S) con las operaciones usuales, siendo el valor de los tomos f (pn ) = pn+1 si n es impar y f (pn ) = pn1 si n es a par. 4. Valorar en el conjunto P rop(S ) con las operaciones usuales, siendo S = {p, q} y el valor de los tomos f (pn ) = p si n es impar y f (pn ) = q a si n es par. 5. Valorar en el conjunto P rop(S ) con las operaciones usuales, siendo S = {p, q} y el valor de los tomos f (pn ) = p si n es impar y a f (pn ) = p q si n es par. 6. Valorar en el conjunto P rop(S ) con las operaciones usuales, siendo S = {p, q, r} y el valor de los tomos f (pn ) = p q, q r, r p a segn n sea, respectivamente, congruente con 0, 1, 2 mdulo 3. u o

 EJERCICIOS DE LOGICA HOJA 4

1. Demostrar mediante el uso de modelos y contramodelos la regla del silogismo hipottico: e {P Q, Q R} |= P R. 2. Demostrar mediante el uso de modelos y contramodelos la regla de reduccin al absurdo: o Si {P, Q} |= C, con C contradiccin, entonces P |= Q. o 3. Existen proposiciones P , Q tales que P no es tautolog pero s que a lo es P Q? 4. Existen proposiciones P , Q tales que P es tautolog pero no lo es a P Q? 5. Vericar que |= F , siendo = {P Q, (P R) S} el conjunto de las hiptesis y F = ((P Q) R) (S R) la conclusin. o o 6. Sean las proposiciones F = (P Q) R, G = (P R) Q y H = P (Q R). Estudiar la validez de las inferencias F H |= G, F G |= H, H |= F G. 7. Sea la siguiente armacin: dadas proposiciones H, G, existe una proo posicin F tal que H |= F G, F H |= G. En caso armativo, o estudiar la unicidad de F . 8. Sea la siguiente armacin: existe una proposicin F tal que para cada o o par de proposiciones H, G se verica H |= F G si y slo si F H |= G. o En caso armativo, estudiar la unicidad de F . 9. Sea la siguiente armacin: dada una proposicin F , existe una proo o posicin F tal que para cada par de proposiciones H, G se verica o H |= F G si y slo si F H |= G. En caso armativo, estudiar la o unicidad de F . 10. Sea la proposicin P = ((p q) (r p)) y sea Q la proposicin o o que se obtiene sustituyendo q por p en P . Determinar si alguna de las inferencias P |= Q, Q |= P es vlida. a 11. Probar que F |= G siendo F = P Q, G = ((S R) (Q P )) ((R Q) S). Encontrar adems una proposicin H tal que G H |= F . a o

 EJERCICIOS DE LOGICA HOJA 5

Aplicar Deduccin Natural para obtener de las premisas sealadas el o n correspondiente objetivo: 1. El silogismo hipottico: e {P Q, Q R} 2. Mutacin de premisas: o {P (Q R)} 3. Distributiva: {P (Q R)} 4. Modus Tollens: {P Q, Q} 5. Contraposicin: o {P Q} 6. Importacin: o {P (Q R)} 7. Exportacin: o {(P Q) R} 8. Leyes de Morgan: {(P Q)} 9. Leyes de Morgan: {P Q} (P Q) , {P Q} (P Q) P Q , {(P Q)} P Q P (Q R) (P Q) R Q P P (P Q) (P R) Q (P R) P R.

10. Dilema constructivo simple: {P Q, P R, Q R} R

11. Dilema constructivo complejo: {P Q, P R, Q S} RS

12. Dilema constructivo complejo con negacin de los consecuentes: o {R S, P R, Q S} P Q

 EJERCICIOS DE LOGICA HOJA 6

Considerar los siguientes conjuntos de proposiciones que se han formado, tomando las premisas y la negacin de la conclusin de la hoja anterior o o de deduccin natural. En primer lugar, calcular la forma clausal de cada o proposicin de uno de los conjuntos dados, en segundo lugar, formar nuevos o conjuntos con todas las clusulas calculadas y, nalmente, probar que los a siguientes conjuntos son inconsistentes (contradictorios) aplicando el mtodo e de resolucin a los correspondientes conjuntos de clusulas. o a 1. El silogismo hipottico: e {P Q, Q R, (P R)} 2. Mutacin de premisas: o {P (Q R), [Q (P R)]} 3. Modus Tollens: {P Q, Q, P } 4. Contraposicin: o {P Q, [Q P ]} 5. Importacin: o {P (Q R), [(P Q) R]} 6. Exportacin: o {(P Q) R, [P (Q R)]} 7. Dilema constructivo simple: {P Q, P R, Q R, R} 8. Dilema constructivo complejo: {P Q, P R, Q S, [R S]} 9. Dilema constructivo complejo con negacin de los consecuentes: o {R S, P R, Q S, [P Q]}

10. El siguiente conjunto de proposiciones, que no est incluido en la hoja a anterior: {(p q) (r s), s (q t), ss t, (p (q r))}

 EJERCICIOS DE LOGICA HOJA 7

Esquematizar mediante frmulas las premisas y conclusiones de los sio guientes razonamientos: 1. San Agust en La Ciudad de Dios n El que no existe no puede engaarse; n luego yo existo si me engao. n (Glosario: E=existir, G=engaarse, a=yo) n 2. Lewis Carrol Ningn nade baila el vals. u a Ningn ocial declina nunca una invitacin a bailar el vals. u o Todas mis aves de corral son nades. a Por lo tanto: Mis aves de corral no son ociales. (Glosario: A=ser nade, B=bailar el vals [no declinar nunca una invia tacin a hacerlo], O=ser ocial, C=ser una de mis aves de corral) o 3. Lancelot ama a la Reina Ginebra. Lancelot no ama a ninguno de sus amigos. El Rey Arturo es amigo de Lancelot. Los amigos de Lancelot odian a aquello a quienes Lancelot ama. Por lo tanto el Rey Arturo odia a la Reina Ginebra. (Glosario: a=Lancelot, b=la reina Ginebra, c=el rey Arturo, A=amar, no odiar, G=ser amigo) 4. Si existen los fantasmas, los pensadores materialistas estn equivocaa dos. En consecuencia, si hay fantasmas que sean pensadores materialistas, hay fantasmas que estn equivocados. a (Glosario: F=ser fantasma, M=ser materialista, E=estar equivocado)

5. Las personas modestas son estimadas por todo el mundo. Por lo tanto, las personas modestas se estiman a s mismas. (Glosario: P=ser persona, M=ser modesta, E=estimar uno a otro) 6. Las personas modestas son estimadas por todo el mundo. Por lo tanto, las personas modestas se estiman a s mismas. (Glosario: P=ser persona, M=ser modesta, E=estimar uno a otro) 7. Nadie conf en las personas que nunca pagan sus deudas. Todo el a mundo cuenta con la conanza de sus familiares. Por lo tanto, cualquiera que tenga familia paga alguna de sus deudas. (Glosario: D(x, y)= x debe a y , P (x, y)= x paga a y, C(x, y)= x conf en y , F (x, y)= x es familia de y.) a 8. Obviamente el peluquero de mi pueblo va (a trabajar) a la peluquer a. El peluquero de mi pueblo corta el pelo a todos los que van a la peluquer El que no se corta el pelo a s mismo va a la peluquer y el a. a que va a la peluquer no se corta el pelo a s mismo. a Por lo tanto el peluquero de mi pueblo ni se corta el pelo a s mismo ni va a la peluquer y sin embargo tambin sucede que este peluquero a e se corta el pelo a s mismo y va a la peluquer a. (Glosario: P (x)= x va a la peluquer C(x, y) x corta el pelo a y , p= a, p es el peluquero.)

 EJERCICIOS DE LOGICA HOJA 8

1. Encontrar la frmula que se utiliza para denir los nmeros pares. o u 2. Encontrar la frmula para denir la nocin de nmero primo. o o u Esquematizar mediante frmulas las siguientes armaciones o 3. El cuadrado de un nmero entero es mayor o igual que cero. u 4. Si el producto de dos nmeros es par, entonces uno de ellos es tambin u e par. 5. Todo nmero entero es el cuadrado de otro nmero entero. u u 6. Dado un nmero primo, existe otro primo estrictamente mayor que el u dado. 7. Las unicas soluciones enteras y positivas de la ecuacin x2 + 2 = y 3 o son x = 5 , y = 3 . 8. El ultimo Teorema de Fermat. La ecuacin xn + y n = z n no tiene o soluciones enteras positivas para exponentes n > 2. 9. En tu opinin cules del las armaciones anteriores son vlidas en el o a a universo de los nmeros enteros. u

 EJERCICIOS DE LOGICA HOJA 9

1. El enunciado interpretado siguiente es verdadero: Para cada par x, y de nmeros enteros, si x y < 0 entonces x < y. Dar su expresin formal u o y encontrar, si es posible, otra interpretacin en la que el enunciado o sea falso. 2. A continuacin se da una secuencia de inferencias expresadas cada una o en una interpretacin. Determinar si son verdaderas a falsas. Escribir o su expresin formal y dar, si ello fuera posible, otra interpretacin en o o la que cambie su valor de verdad. (i) Todo el que piensa existe. Pienso, luego existo. (ii) Todos los latinos son mediterrneos. Ningn nrdico es media u o terrneo. Por tanto, ningn nrdico es latino. a u o (iii) Pedro es maestro. Todos los maestros son sabios y generosos. Por tanto, alguien es generoso. (iv) Todos los maestros son sabios y generosos. Por tanto, alguien es generoso. (v) Si no es cierto que todos son felices, entonces algunos estn tristes. a No es cierto que algunos estn tristes, por tanto algunos son felices. e (vi) Algunos son lgicos. Algunos son lgicos o detectives. Por tanto, o o algunos son detectives. 3. Sean los enunciados siguientes. (i) Los elefantes son ms pesados que a los ratones. (ii) Ningn ratn es ms pesado que un elefante. Expresar u o a formalmente estos enunciados y determinar si son equivalentes. 4. Vericar si son verdaderas o falsas las armaciones siguientes: (i) (x)A(x) (y)A(y) es inconsistente. (ii) (x)A(x) (y)A(y) es una ley lgica. o (iii) A(a) (x)A(x) es consistente. (iv) (x)A(x) (y)A(y) es una ley lgica. o (v) (x)A(x) (x)A(x) es consistente. 5. Sean las frmulas cerradas siguientes: o (i) (x)(A(x) B(f (x), a)). (ii) (x)(A(f (x)) B(x, f (a))). (iii) (x)(A(x) B(x, a)). (iv) (x)(y)(A(x) B(x, y). Averiguar si son o no verdaderas en una interpretacin con dominio o D = {a, b} dada por la siguiente tabla: a a f(a) b f(b) a A(a) 0 A(b) 1 B(a,a) 1 B(a,b) 1 B(b,a) 0 B(b,b) 1

 EJERCICIOS DE LOGICA HOJA 10

1. Sean las frmulas P = (x)A(x) (x)A(x) y Q = (x)(y)B(x, y). o Determinar la verdad o falsedad de las armaciones siguientes: (i) P y Q son ambas consistentes pero ninguna es una ley lgica. o (ii) P Q es consistente. (iii) P Q es consistente. 2. Probar que la frmula (x)(y)(A(f (x, y), a) A(x, y)) es falsable o pero no inconsistente. 3. Demostrar las siguientes versiones con predicados de las reglas modus pones y modus tolens: (x)(A(x) B(x)) A(a) B(a) (x)(A(x) B(x)) B(a) A(a)

(MP)

(MT)

4. Dar un ejemplo de frmula que no sea cerrada pero que sea una ley o lgica. o 5. Demostrar que si el trmino t est libre para la variable x en la frmula e a o P (x), entonces la frmula P (t|x) (x)P (x) es una ley lgica. o o 6. Demostrar que, si la variable x no aparece libre en la frmula P , eno tonces la siguiente frmula (x)(P Q) (P (x)Q) es una o ley lgica. Dar un ejemplo que pruebe la necesidad de incluir en el o enunciado anterior la hiptesis sobre la variable x. o 7. Usar el teorema de la deduccin restringido para demostrar que es una o ley lgica la frmula (x)(P Q) ((x)P (x)Q). o o 8. Obtener una forma prenexa clausal de cada una de las frmulas sio guientes: (i) (x)(A(x) (y)B(x, y)). (ii) (x)B(x, y) (A(x) (z)B(x, z)). (iii) B(x, y) (y)(A(y) ((x)(A(x) D(y))). (iv) ((x)(A(x, y) (y)B(y)) (x)(y)C(x, y). (v) (x)(A(x) B(x)) ((x)A(x) (x)B(x)).

 EJERCICIOS DE LOGICA HOJA 11

En los ejercicios siguientes se muestran silogismos. Hay que averiguar si son o no son reglas de inferencia. Una respuesta positiva debe ir precedida de una demostracin y una negativa de un contraejemplo. o 1. (x)(P (x) Q(x)) (x)(Q(x) R(x)) (Barbara) (x)(P (x) R(x)) (x)(Q(x) R(x)) (x)(P (x) Q(x)) (Celarent) (x)(P (x) R(x)) (x)(Q(x) R(x)) (x)(P (x) Q(x)) (Darii) (x)(P (x) R(x)) (x)(Q(x) R(x)) (x)(P (x) Q(x)) (Ferio) (x)(P (x) R(x)) (x)(P (x) Q(x)) (x)(R(x) Q(x)) (Baroco) (x)(R(x) P (x)) (x)(P (x) Q(x)) (x)(R(x) Q(x)) (x)(R(x) P (x)) (x)(P (x) Q(x)) (x)(P (x) R(x)) (Datisi) (x)(R(x) Q(x)) (x)(P (x) Q(x)) (x)(P (x) R(x)) (Diramis) (x)(Q(x) R(x)) (x)(P (x) Q(x)) (x)(P (x) R(x)) (x)(R(x) Q(x)) (x)(P (x) Q(x)) (x)(R(x) Q(x)) (x)(R(x) P (x))

2.

3.

4.

5.

6.

7.

8.

9.

10.

 EJERCICIOS DE LOGICA HOJA 12

En los ejercicios siguientes se proponen varios esquemas de inferencia que hay que comprobar si son o no reglas de inferencia. Para ello construir conjuntos de proposiciones formados por las premisas y la negacin de la o consecuencia. Despues aplicar el mtodo de resolucin para el clculo de e o a predicados para intentar llegar a la clusua nula (vacia). Se puede comprobar a tambin por deduccin natural. e o x(E(x) P (x)) P (a) E(a) x(P (x) Q(x)) R(a) [x(R(x) Q(x)) P (a)] x[P (x) (F (x) M (x))] x(F (x) C(x)) x(M (x) C(x)) x(P (x) C(x)) x[(P (x) Q(x)) R(x)] x(S(x) R(x)) [P (x) (S(x) T (x))] x[(P (x) Q(x)) R(x)] x(S(x) R(x)) (x)[S(x) (P (x) Q(x))] x[P (x) (Q(x) R(x))] x[(S(x) T (x)) O(x)] x[H(x) (A(x) B(x))] x[P (x) (S(x) T (x))] x[(A(x) B(x)) O(x)] x[H(x) (Q(x) R(x))]

1.

2.

3.

4.

5.

6.