LGICA II

LGICA II

GUA DE EJERCICIOS

LGICA DE PREDICADOS1. Subraye en las siguientes oraciones las locuciones que expresan predicados e indicar si estos son mondicos o polidicos.1. Marte es un planeta.

2. Platn es griego.

3. Platn no es empirista.

4. Platn fue discpulo de Scrates.

5. Platn era griego y Descartes francs.

6. Si la Tierra es un planeta, gira alrededor del Sol.

7. Juan o Pedro llamar a Mara.

8. Pedro admira a Kant y Descartes.

9. Si Juan es hermano de Pedro, entonces Pedro es hermano de Juan.

10. Scrates fue maestro de Platn si y slo si Platn fue su discpulo.

2. Formalice las oraciones del ejercicio anterior.

3. Inserte parntesis en las frmulas siguientes de manera que no aparezca en ellas ninguna variable libre.

1. x Px Qx2. x (Px Qx) Rx3. x (Px (Qx v Rx)) (x Px v x Qx v Rx)4. x y Pxy v Pxy

5. x (Px Qx) Rx) (Px (Qx Rx))4. Formalice las siguientes oraciones1. Todo es mortal.

2. Nada es eterno.3. No todo es eterno.4. No hay crculos cuadrados.5. Algunos admiran a Kant.6. Algunos tringulos son equilteros.7. Hay tringulos que no son equilteros.

8. Cualquier tringulo es un polgono.

9. Ningn dios es mortal.

10. Los tringulos equilteros son polgonos regulares.

11. Los perros y los gatos son animales domsticos.

12. Las aves nadan y vuelan.

13. Hay filsofos que son admirados por Pedro.

14. Todo genera algo.

15. Todos los polticos ambicionan algo.

16. Los polticos argentinos ambicionan todo.

17. Ningn senador representa a todos los ciudadanos18. Algunos nmeros mayores que 2 no son divisibles por cualquier nmero19. Hay filsofos que son admirados por todos los estudiantes.

20. Si algo falta, Juan ser culpado.

21. Nada es causa de s mismo.

22. Los ciudadanos que votan son representados por algn candidato.23. Ningn empirista acepta las tesis de Platn.

24. Algunos que admiran a Kant admiran tambin a Hegel.

25. El que hace infeliz a un nio hace infeliz a un ser humano.

26. Quienes estafan a alguien, son delincuentes.

5. Complete las lneas que faltan en las siguientes derivaciones:a.

1. x (Px Qx)

2. x (Qx Rx)3. E 1

4. E 2

5. supuesto6.

E 1, 5

7.

E 4, 6

8.

I

9. I 8b.

1. x Px xQx

2. E 1

3. E 2

4. E 15. E 4

6. I 3,5

7. I 6

c. 1. x (Px Qx)

2. supuesto3. E 2

4. I 3

5. E 26. I 5

7. I 4,68.

I 9. E 1, 8 d.1. x (Px v Qx)

2. supuesto3. supuesto4. I 3

5. I v 4

6.

I 7. supuesto

8. I 79. I v 810. I 11.

E v 2, 6, 1012.

I 10. E 1, 12e.

1. xy Pxy

2. supuesto3. supuesto

4. I 3

5. I 4

6.

I 7. E 2, 6

8.

I 9. E 1, 86. Formalice los siguientes argumentos y derive sus conclusiones

1. Algunos nios no son molestos. Los nios tambin son seres humanos. Luego, algunos seres humanos no son molestos.

2. Todos los amigos de Juan son amigos de Pedro. Ana es amiga de Juan. Por lo tanto Ana es amiga de Pedro.

3. Ningn nio es un ser encantador. Pero, los hijos de Pedro son nios. Por lo tanto, los hijos de Pedro no son seres encantadores.

4. Hay docentes que son mujeres y madres. Los docentes ejercen un sacerdocio. Por lo tanto, hay madres que ejercen un sacerdocio.

5. El hombre destruye lo que ama. El hombre ama lo que no entiende. Luego, el hombre destruye lo que no entiende.6. Todo aquel que chupa la sangre a otra persona es un vampiro. Los vampiros no existen. Luego, nadie chupa la sangre a otra persona.

7. Juan se ama a s mismo. Por lo tanto, no es cierto que nadie ame a Juan.

8. Los nios tambin son seres humanos. Por lo tanto, el que hace infeliz a un nio hace infeliz a un ser humano.

9. Juan no respeta a nadie que no se respete a s mismo. Juan respeta a Mara. Por lo tanto, Mara se respeta a s misma.

7. Derive la conclusin de las siguientes formas de argumentos

1. xy Pxy | yx Pxy2. x (Px Qx), Qa | x Px3. x Px, Pa x Qx | x Qx

4. x (Px Rx), x (Px Qx) | x Rx5. x ((Px Qx) Rx), x (Qx Sx) | x( Px v Rx)

6. x Pxx | xy Pxy

7. x y (Px Qy) | x Px v y Qy

8. Demuestre las siguientes frmulas

1. x (Px Qx) x (Px Qx)2. x ((Px Qx) Rx) (x Px (x Qx x Rx))3. x (Px (Qx v Rx)) (x Px x (Qx Rx))

PAGE 2