Lgica II Brian Leija Camacho.

EJERCICIO 3. A. En cada uno de los ejercicios siguientes se ha de demostrar que una proposicin es consecuencia lgica de las premisas dadas. Deducir la conclusin, escribiendo la abreviatura que corresponde a la regla que permite obtener cada lnea, y cuando se empleen lneas deducidas anteriormente, indicar el nmero de cada lnea que ha sido utilizada al aplicar la regla.

4. R, MP de 2 y 3 5. T, MP de 1 y 4

4. J, MP de 1 y 2 5. G, MP de 3 y 4

4. B&D, MP de 1 y 3 5. C, MP de 2 y 4

4. J, MP de 2 y 3 5. M V N, MP de 1 y 4

4. Q, MP de 2 y 1 5. S, MP de 3 y 4

B. Simbolizar cada una de las proposiciones de los conjuntos siguientes y demostrar que la conclusin (la proposicin que empieza por Por tanto...) es consecuencia lgica. Se seguir el mismo mtodo de las demostraciones de la pg. 50.

P=2 es mayor que 1. Q=3 es mayor que 1. R=3 es mayor que 0. Demostrar: Q 1. P>Q 2. Q>R 3. P 4. Q, MP de 1 y 3

P= x+ 1=2 Q= y+1=2 R= x=y Demostrar: R 1. P 2. P>Q 3. P>R 4.R, MP de 3 y 1

P= x+0=y Q= x=y R= x+2=y+2 Demostrar: R 1. P>Q 2.P 3. Q>R 4. Q, MP de 1 y 2 5. R, MP de 3 y 4

P=x>y Q=y>z R=x>z S=x>10 Demostrar: S 1. (P&Q) >R 2. P&Q 3. R>S 4. R, MP de 1 y 2 5. S, MP de 3 y 4

R= x=y S= y=z T= x=z U= z=x Demostrar: U 1. (R&S)>T 5. U, MP de 2 y 4 2. T>U 3. R&S 4. T, MP de 1 y 3

P= se levanta aire hmedo. Q= refrescar. R= se formarn nubes. Demostrar: R 1. P>Q 2. Q>R 3. P 4. Q, MP de 1 y 3 5. R, MP de 2 y 4

Lgica II Brian Leija Camacho.

C. No existe limitacin respecto al nmero de veces que se puede aplicar en una demostracin la regla modus ponendo ponens. Los ejercicios que siguen requieren ms de dos aplicaciones. Deducir la conclusin que se desea demostrar, expresando la regla aplicada para deducir cada lnea e indicando las lneas que se han utilizado al aplicar la regla.

5. S, MP de 1 y 2 6. Q, MP de 3 y 5 7. N, MP de 4 y 6

7. E, MP de 1 y 3 8. K, MP de 2 y 7 9. L, MP de 4 y 8 10. M, MP de 5 y 9 11. B, MP de 6 y 10

5. F> A, Simplificacin de 3 6. B, Simplificacin de 3 7. F, MP de 2 y 1 8. A , MP de 5 y 7 9. A & B, Conj de 8 y 6 10. R V S, MP de 4 y 9

EJERCICIO 4 A. Qu conclusiones se pueden sacar de cada una de las proposiciones siguientes por la doble negacin? 1. Todos los mamferos son animales de sangre caliente. Entonces es falso que no ocurra que todos los mamferos son animales de sangre caliente. 2. No ocurre que el ncleo de un tomo no est cargado positivamente. Entonces el ncleo de un tomo est cargado positivamente. 3. El granito es un tipo de mineral gneo. Entonces es falso que el granito no sea un tipo de mineral gneo. 4. En los Estados Unidos las elecciones presidenciales tienen lugar cada cuatro aos. Entonces es falso que en los Estados Unidos las elecciones presidenciales no tengan lugar cada cuatro aos. 5. No ocurre que un quinto no es el veinte por ciento. Entonces un quinto es el veinte por ciento.

Lgica II Brian Leija Camacho.

B. En cada uno de los siguientes grupos de premisas deducir una conclusin, cuando sea posible, por el modus ponendo ponens. Si la regla modus ponendo ponens no se puede aplicar a las premisas, indicarlo poniendo no PP.

No PP

3. RVS

No PP

3. P

No PP

3. Q

C. Poner la letra C junto a cada afirmacin cierta. Poner la letra F junto a cada afirmacin falsa. 1. De ??R se puede deducir R. 2. De S se puede deducir S. F 3. De P >Q y P se puede deducir Q. C 4. De Q se puede deducir Q. C 5. De R > S y S se puede deducir R. C D. Demostrar que las conclusiones son consecuencia lgica de las premisas dadas en cada uno de los ejemplos que siguen. Dar la demostracin completa como en los ejemplos anteriores; es decir, se ha de numerar cada lnea, indicar la abreviatura de la regla usada, y los nmeros de las lneas de las que se ha deducido cada lnea en la demostracin.

3. T, MP de 1 y 2 4. T, DN de 3

3. B, MP 2 y 1 4. B, DN de 3

3. G, MP de 1 Y 2 4. G, DN de 3

3. PVQ, MP de 1 y 2 4. PVQ, DN de 3

4.P, MP de 1 y 3 5. N, MP de 2 y 4 6. N, DN de 5

4. K&M, MP de 1 y 2 5. Q, MP de 3 y 4 6. Q, DN de 5