Вы находитесь на странице: 1из 12

Ejercicios 1.

4
1. Construir la tabla de verdad de cada expresin y decir si es tautologa, contradiccin o contingencia. a) X (P (P Q)) Q (Tautologa) P Q (P Q) P (P Q) X 1 1 1 1 1 1 0 0 0 1 0 1 1 0 1 0 0 1 0 1 b) X (P Q) (P Q) (Tautologa) P Q (P Q) (P Q) X 1 1 1 1 1 1 0 0 0 1 0 1 1 1 1 0 0 1 1 1 c) X ((P Q) (Q R)) (P R) (Tautologa) P Q R (P Q) (Q R) (P Q) (Q R) (P R) X 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 1 1 0 1 0 1 0 1 1 1 0 0 0 1 0 0 1 0 1 1 1 1 1 1 1 0 1 0 1 0 0 1 1 0 0 1 1 1 1 1 1 0 0 0 1 0 0 1 1 d) X (P Q) ((P Q) (P Q)) (Tautologa) P Q (P Q) (P Q) P Q (P Q) ((P Q) (P Q)) X 1 1 1 1 0 0 0 1 1 1 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 1 0 0 1 0 1 1 1 1 1 e) X (Q (P Q)) P (Contingencia) P Q (P Q) (Q (P Q)) X 1 1 1 1 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 f) X (P (Q R)) ((P Q) (P R)) (Contradiccin) P Q R (P Q) (Q R) (P Q) (Q R) (P R) X 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 1 1 0 1 0 1 0 1 1 1 0 0 0 1 0 0 1 0 1 1 1 1 1 1 1 0 1 0 1 0 0 1 1 0 0 1 1 1 1 1 1 0 0 0 1 0 0 1 1

2. Utilizar la tautologa P P para demostrar que las siguientes expresiones son tautologas. Hay que convertir P P en el esquema A A. a) Sea A = P Q b) Sea A = P c) Sea A = ((P S) Q) 3. Demuestre que (P Q) (P Q) Q es una tautologa. Convierta esta tautologa en un esquema con A reemplazando P y B reemplazando Q. Use este esquema para demostrar: (P Q) (P Q) Q P Q P (P Q) (P Q) (P Q) (P Q) (P Q) (P Q) Q 1 1 0 1 1 1 1 1 0 0 0 1 0 1 0 1 1 1 1 1 1 0 0 1 1 0 0 1 Esquema con A reemplazando P y B reemplazando Q: (A B) (A B) B Para demostrar la expresin final, hacemos A = P y B = Q 4. Exponga la diferencia entre implicacin lgica e implicacin material. Una implicacin material puede ser verdadera o falsa. Una implicacin material que siempre es verdadera es una implicacin lgica. 5. El dilema es una argumento que nos permite concluir R, dadas las premisas P Q, P R y Q R. a) Transforme el dilema en una tautologa y demestrelo utilizando una tabla de verdad. P Q R (P Q) (P R) (Q R) ((P Q) (P R) (Q R)) R 1 1 1 1 1 1 1 1 1 0 1 0 0 1 1 0 1 1 1 1 1 1 0 0 1 0 1 1 0 1 1 1 1 1 1 0 1 0 1 1 0 1 0 0 1 0 1 1 1 0 0 0 0 1 1 1 b) Transforme el dilema en una contradiccin y demustrelo utilizando una tabla de verdad. P Q R (P Q) (P R) (Q R) R ((P Q) (P R) (Q R)) R 0 1 1 1 1 1 1 0 1 1 1 0 1 0 0 0 0 1 0 1 1 1 1 0 1 1 0 0 1 0 1 0 0 0 1 1 1 1 1 0 1 0 1 0 1 1 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 1 1 0

Ejercicios 1.5
1. Utilizar las ecuaciones (1.9) y (1.10) para eliminar y de las siguientes expresiones: a) (P Q) (Q R) (P Q) (Q R) (Por 1.9) b) (P Q) ((P Q) Q) (P Q) ((P Q Q) ((P Q) Q) (Por 1.9 y 1.10) (P Q) ((P Q) ((P Q) Q) (Idempotencia, De Morgan) (P Q) ((P Q) Q) (Absorcin) (P Q) ((P Q) (Q Q)) (Distributiva) (P Q) ((P Q) V)) (Medio excluido) (P Q) (P Q) (Identidad) ((P Q) (P Q)) ((P Q) (P Q)) (Por 1.10) ((P Q) (P Q)) ((P Q) (P Q)) (De Morgan) ((P Q) (P Q)) (P P Q Q) (Asociativa, conmutativa) ((P Q) (P Q)) F (Contradiccin) (P Q) (P Q) (Identidad) c) P Q P Q (Por 1.9) 2. Utilizando las leyes de la tabla 1.16, demuestre las siguientes equivalencias: a) (P Q) (Q R) Q (P R) (Distributiva) b) ((P Q) P) F (P Q) P (De Morgan) P P Q F (Asociativa, conmutativa, contradiccin) c) (P (R S)) (P R) (P S) P (R S) (De Morgan) (P R) (P S) (Distributiva) d) (P R) (Q S) (P Q) (P S) (R Q) (R S) ((P R) Q) ((P R) S) (Distributiva) (P Q) (R Q) (P S) (R S) (Distributiva) (P Q) (P S) (R Q) (R S) (Conmutativa) 3. Simplifique las siguientes expresiones: a) (P3 V) (P2 V) P3 P2 (Identidad) b) (P3 (P2 (P1 P3))) P1 P2 P3 (Asociatividad) c) (P3 V) (P2 P3) P3 P2 P3 F P2 F (Identidad, contradiccin, dominacin) 4. Simplifique las siguientes expresiones: a) (Q R S) (Q R S) Q S b) (P R) (P R S) P R c) (P (Q S)) (Q S) P ((Q S) (Q S)) P S 5. Mueva las negaciones interiores tanto como sea posible. a) (P1 (P2 P3)) P1 (P2 P3) P1 P2 P3 (P1 P2 P3) b) P (P (Q R)) P (P (Q R)) P P Q R V Q R V

6. Use el lgebra declarativa para simplificar las siguientes expresiones: a) P Q (P Q) (P Q) P Q P Q (P Q) (P Q) (P Q) (De Morgan, asociativa) P Q (P Q) F (Contradiccin) P Q F (Dominacin) P Q (Identidad) b) (P Q) (P Q) ((P R) Q)) (P Q) (P Q) ((P R) Q) (De Morgan) ((P Q) (P Q)) (P R Q) (Asociatividad) ((P Q) (P R Q)) ((P Q) (P R Q)) (Distributiva) (P P Q Q R) (P P Q Q R) (Asociativa, conmutativa) (P Q R) (V V R) (Idempotencia, medio excluido) P Q R (Dominacin, identidad) c) ((P Q) R) Q (P Q) R Q (De Morgan) (P Q) Q R (De Morgan, conmutativa) (P Q) (Q Q) R (Distributiva) (P Q) V R (Medio excluido) P Q R (Identidad) 7. Encuentre la forma normal conjuntiva de las siguientes expresiones, utilizando el lgebra declarativa: a) (P Q) (P R Q) [(P Q) (P R Q)] [(P Q) (P R Q)] (Eliminacin de bicondicional) [(P Q) (P R Q)] [(P Q) (P R Q)] (Eliminacin de condicionales) [(P Q) (P R Q)] [(P Q) (P R Q)] (De Morgan) [(P P R Q) (Q Q P R)] [(P P Q) (R P Q) (Q Q P)] (Distrib.) [(V R Q) (V P R)] [(V Q) (R P Q) (V P)] (Medio excluido) R P Q (Dominacin) b) (P Q) (P (R S)) (P Q S) (P Q) ((P R) (P S)) (P Q S) (Distributiva) P (Q R S) (P Q S) (Distributiva y asociativa) P (P Q S) (Q R S) (Conmutativa) P (Q R S) (Absorcin) (P Q) (P R) (P S) (Distributiva)

8. Encuentre la forma normal disyuntiva de la funcin lgica dada en la siguiente tabla: P F F F F V V V V Q F F V V F F V V R F V F V F V F V f F V F F V F F V

Tal y como puede verse, hay 3 asignaciones que hacen verdadera a f, y por tanto 3 minterms, que forman la forma normal disyuntiva siguiente: (P Q R) (P Q R) (P Q R). 9. Hallar la forma normal conjuntiva completa para f, donde f es dada en la tabla del ejercicio anterior. Tal y como puede verse, hay 5 asignaciones que hacen falsa a f, y por tanto 5 maxterms, que forman la forma normal conjuntiva: (P Q R) (P Q R) (P Q R) (P Q R) (P Q R). 10. Demostrar las ecuaciones (1.14), (1.16) y (1.9). 1.14) P (P Q) P (P F) (P Q) P (Identidad) P (F Q) (Distributiva) P (Dominacin, identidad) 1.16) (P Q) (P Q) Q (P P) Q (Distributiva) F Q F (Contradiccin, identidad) 1.9) (P Q) P Q Hay que demostrar que (P Q) (P Q) es tautologa, mediante la siguiente tabla de verdad: P Q P P Q P Q (P Q) (P Q) V V F V V V V F F F F V F V V V V V F F V V V V

Ejercicios 1.6
1. Utilizar el mtodo de tabla de verdad para mostrar que los siguientes argumentos son vlidos. a) P Q, P R Q R P Q R P P Q P R PREMISAS Q R VLIDO 1 1 1 1 1 0 1 1 1 0 1 1 1 0 0 1 0 1 1 1 1 0 1 0 1 1 1 0 1 1 0 0 0 1 0 0 1 1 0 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 0 1 0 0 1 1 0 1 1 0 1 0 0 0 1 0 1 0 b) P Q, P R P Q R P Q R P Q P R Q R PREMISAS P (Q R) VLIDO 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 0 0 0 0 1 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 1 1 0 1 1 1 1 1 1 1 1 0 1 0 1 1 0 1 1 1 0 0 1 1 1 0 1 1 1 0 0 0 1 1 0 1 c) P, P Q P Q P Q (P Q) PREMISAS P Q VLIDO 1 1 1 1 1 1 1 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 d) P Q, P R, Q R R P Q R P Q P R Q R PREMISAS R VLIDO 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 0 0 0 1 1 1 0 1 1 1 1 1 0 1 1 0 0 1 0 1 0 1 1 0 1 1 1 1 1 1 0 1 0 1 0 1 1 0 0 0 1 0 0 1 0 1 1 1 0 1 0 0 0 0 1 1 0 3. Para cada uno de los siguientes argumentos indique cul de las reglas de inferencia dadas en la tabla 1.25 se utilizan.

a) Si el Sr. Surez o la Sra Surez ganan ms de 3.000.000 al ao, la familia Surez puede pasar las vacaciones en Hawai. Puesto que yo s que, o el Sr. Surez o su esposa, ganan ms de 3.000.000, concluyo que la familia puede afrontar las vacaciones en Hawai. P: El seor Surez gana ms de 3.000.000 al ao. Q: La seora Surez gana ms de 3.000.000 al ao. R: La familia Surez pasa las vacaciones en Hawai. P Q R, P Q R (Modus ponens) b) Si Kiko descubre que el producto que t vendiste est defectuoso, se pondr furioso. Desafortunadamente, yo s de hecho que ha descubierto que el producto est defectuoso. Por tanto, Kiko va estar furioso. P: Kiko descubre que el producto est defectuoso. Q: Kiko se pone furioso. P Q, P Q (Modus Ponens) c) Si Juan estuvo ayer en el partido, necesitar dormir. Juan no pudo dormir. Por consiguiente l no fue al partido. P: Juan estuvo ayer en el partido. Q: Juan duerme. P Q, Q P (Modus Tollens) d) Si yo lo hice, me lo reprocho, y si no lo hice, me lo reprocho. Por consiguiente, me lo reprocho. P: Yo lo hice. Q: Yo me lo reprocho. P Q, P Q Q (Ley de casos) e) Si est caluroso y hmedo, entonces obviamente est caluroso tambin. P: Est caluroso. Q: Est hmedo. P Q P (Ley de simplificacin) f) Sabemos que Paco toma el Ford o el Lancia. Paco no tom el Ford. Por consiguiente, Paco tuvo que tomar el Lancia. P: Paco toma el Ford. Q: Paco toma el Lancia. P Q, P Q (Silogismo disyuntivo) g) Si Beni est en la casa, entonces l puede estar ciertamente o en la casa o en su oficina. P: Beni Est en la casa. Q: Beni est en su oficina. P P Q (Ley de adicin) h) Si x 0, entonces x2 0, y si no es verdadero que x 0, entonces x2 0. Por consiguiente, x2 0. P: x 0. Q: x2 0. P Q, P Q Q (Ley de casos)

5. Las premisas son P Q, Q R, y R P. Demuestre que P Q. Use slo el silogismo hipottico y la ley de introduccin a la equivalencia. 1. P Q 2. Q R 3. R P 4. Q P 5. P Q Premisa Premisa Premisa Silogismo hipottico sobre 2, 3 Introduccin de equivalencia sobre 1, 4

7. Use el teorema de la deduccin y la ley de adicin para demostrar que P (P P) y P (P P). Qu conclusin adicional puede extraerse a partir de P (P P) y P (P P)? P (P P) 1. Suponemos P, y se aade P a las premisas. 2. A partir de P, mediante la ley de adicin, se concluye P P 3. P P P P (P P) 1. Suponemos P y se aade P a las premisas. 2. A partir de P, mediante la ley de adicin, se concluye P P 3. P P P Una conclusin que se puede sacar es que da igual que el antecedente sea verdadero (P) o falso (P) porque como el consecuente es siempre verdadero (P P V) la implicacin va a ser siempre verdadera.

Ejercicios captulo 1
1. Traduzca las siguientes oraciones en lgica. Abrevie las proposiciones y los predicados como se indica. No introduzca nuevas variables proposicionales ni predicados. a) Si l est en la oficina, le diremos las noticias; de otro modo, le dejaremos un mensaje (P: l est en la oficina, Q: se las diremos y R: dejaremos un mensaje). Solucin: P Q P R b) Si la operacin tiene xito, y ella sigue las instrucciones del doctor, se recuperar. (P: la operacin tiene xito, Q: ella sigue las instrucciones del doctor y R: ella se recuperar). Solucin: P Q R c) Juan sabe o C, o Pascal, o Prolog, y disfruta trabajando con la gente. De otro modo, l no sera un programador destacado. Defina P1 como Juan sabe C, P2 Juan sabe Pascal y P3 Juan sabe Prolog. Q equivaldra a Juan disfruta trabajando con la gente y R Juan es un programador destacado. Solucin: ((P1 P2 P3) Q) (((P1 P2 P3) Q) R) 2. Traduzca la siguiente regulacin en lgica utilizando las variables proposicionales dadas. Un empleado es postulable para unas vacaciones de tres semanas si: 1) l o ella es un empleado temporal que no recibe pago adicional de vacaciones y que ha estado con la compaa durante un ao, o 2) si l o ella es un empleado permanente que ha estado al menos seis meses en la compaa. P1 : El empleado es elegible para unas vacaciones de tres semanas. P2 : El empleado es un empleado temporal. P3 : El empleado recibe paga de vacaciones. P4 : El empleado ha estado en la compaa al menos durante un ao. P5 : El empleado es un empleado permanente. P6 : El empleado ha estado en la compaa al menos seis meses. Solucin: ((P2 P3 P4) (P5 P6)) P1 o bien P1 ((P2 P3 P4) (P5 P6)) 3. Encuentre las tablas de verdad para las siguientes expresiones. Establezca en cada caso si la expresin es una contingencia, una tautologa o una contradiccin. a) ((P Q) (Q R) (R P)) (P Q) (Tautologa) P Q R P Q Q R R P PREMISAS P Q VLIDO 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 0 1 1 0 0 0 1 1 0 0 1 0 1 1 1 1 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 1 1 1 0 1 1 1 0 0 0 1 1 1 1

b) P ((Q R) P) (Contingencia) P Q R Q R (Q R) P (Q R) P P ((Q R) P) 0 1 1 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 0 0 1 0 1 0 0 1 1 1 0 1 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 1 1 1 c) (P Q R) (P Q R) (Contingencia) P Q R P Q R P Q R (P Q R) (P Q R) 1 1 1 1 0 1 1 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 4. Simplifique las siguientes expresiones. Establezca cada ley que use. a) (P Q R) (P Q) (P R) (P Q R) (P Q R) (P Q) (P R) (Idempotencia) (P Q R) (P Q) (P Q R) (P R) (Conmutativa) P P P (Por 1.15 del libro) b) (P Q) (P R) (P (Q R)) (P Q) (P R) ((P Q) (P R)) (Distributiva) (P Q) (P Q) (P R) (P R) (Asociativa, conmutativa) (P Q) P P (Idempotencia, absorcin, absorcin) c) (P R (P (P Q))) (P R (P (P Q))) (De Morgan) P R (P P Q) (Asociativa) P R (V Q) P R (Medio excluido, Identidad, Dominacin, Identidad) 5. Demostrar la veracidad del esquema A (B C) B (A C) mediante tabla de verdad y lgebra. a) Demostracin por tabla de verdad. A B C B C A C A (B C) B (A C) 1 1 1 1 1 1 1 1 0 0 1 1 0 0 0 1 1 1 1 0 1 1 1 1 0 1 1 0 0 1 1 1 1 1 0 1 1 1 1 1 1 0 1 0 0 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 0 1 1 1

b) Demostracin algebraica. A (B C) B (A C) A (B C) B (A C) A (B C) B (A C) A B C A B C 6. Formule las siguientes leyes como tautologas. Elimine todos los y demustrelos mediante el lgebra declarativa. a) Ley de simplificacin: (P Q) P ((P Q) P) (P V P) V b) Modus tollens: (Q (P Q)) P (Q (P Q)) P Q (P Q) P Q (P Q) P ((Q P) (Q Q)) P Q P P V c) Silogismo disyuntivo: ((P Q) P) Q ((P Q) P) Q (P Q) P Q (P Q) P Q ((P P) (Q P) Q) (V (Q P)) Q Q Q P V 7. Demuestre que ((P Q) R) ((P Q) R). Use tanto la tabla de verdad como el lgebra declarativa. (P Q) R ((P Q) R) (P Q) R (P Q) R P Q R P Q R (P Q) R (P Q) R ((P Q) R) 0 0 1 1 1 1 1 1 1 1 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 1 1 0 1 1 0 0 0 1 1 0 0 1 0 1 1 0 1 1 1 0 1 0 1 0 0 1 1 0 0 1 0 0 1 0 1 1 1 0 1 0 0 0 0 1 1 8. Encuentre la tabla de verdad para ((P Q) R (R P)). Use esta tabla de verdad para hallar la forma normal disyuntiva completa y la forma normal conjuntiva completa. P Q R P Q R P R (R P) Resultado 1 1 1 1 1 1 1 1 0 1 1 0 1 0 1 1 1 0 1 1 1 1 0 1 0 0 1 0 0 0 0 1 1 1 0 1 0 0 1 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 Forma normal disyuntiva completa: (P Q R) (P Q R) (P Q R) (P Q R) Forma normal conjuntiva completa: (P Q R) (P Q R) (P Q R) (P Q R) 9. Considere el siguiente argumento. Fue X o Y quien cometi el crimen. X estaba fuera del pueblo cuando el crimen fue cometido. Si X estaba fuera del pueblo, no pudo haber estado en la escena del crimen. Si X no estaba en la escena del crimen, no pudo haber cometido el crimen. Formule sto como una demostracin formal y derive la conclusin. Use P1 para X cometi el crimen, P2 para Y cometi el crimen, Q para X estaba fuera del pueblo, y R para X no estuvo en la escena del crimen.

1. P1 P2 2. Q 3. Q R 4. R 5. R P1 6. P1 7. P2

Premisa Premisa Premisa MP 2, 3 Premisa MP 4, 5 SD 1, 6

Solucin: (P1 P2), Q, Q R, R P1 P2 10. La derivacin que sigue deriva R a partir de las premisas P Q, P R, y Q R. Sin embargo, todos los nmeros de lnea se han perdido, y tambin las reglas de inferencia. Aada estas dos informaciones. Las reglas utilizadas son el silogismo hipottico (SH), la ley de casos (Cs), y P Q (P Q) (SDI). 1. P Q 2. P Q 3. Q R 4. P R 5. P R 6. R adicin. 1. P Q 2. P 3. P Q Premisa Ley de simplificacin Ley de adicin Premisa 1, SD y teorema deduccin Premisa 2, 3, SH Premisa 4, 5, Cs

11. Dada la premisa P Q, pruebe P Q. Las leyes de inferencia se limitan a las leyes de simplificacin y

12. Use el teorema de la deduccin para mostrar Q (P Q). Use este resultado para mostrar Q (P Q). Demostracin de Q (P Q): 1. Q 2. P 3. Q 4. P Q Premisa Suposicin 1, copia 2, 3, deduccin

Demostracin de Q (P Q): 1. Q 2. P Q 3. Q (P Q) Suposicin 1, demostracin previa 1, 2, deduccin

13. Muestre que P (Q R) y P Q R son equivalentes. P (Q R) P Q R P (Q R) (P Q) R P (Q R) P Q R P Q R P Q R

Вам также может понравиться