Universidad

Semestre 1/2013
Facultad de Filosofa

Alberto

Hurtado

Ejercicios de Lgica 11
Traduccin en Clculo de Predicados
I.

Considerar los siguientes predicados y constantes:

a: Alicia
b: Bruno
c: Caco
B: es una bolita
O: es un ojito de gato
T: es un tirito
A: es azul
V: es verde
R: es rojo
P: pertenecen a
G: se gan
D: le dio a
Traducir:
1.
2.
3.
4.
5.

Todos las ojitos de gato pertenecen a Bruno

Todas las bolitas que no sean tiritos son ojitos de gato
Algunas ojitos de gato, pero no todas, son verdes
Todas las bolitas que son tiritos pertenecen a Alicia
Algunas bolitas verdes y algunas bolitas azules (pero no las rojas)
pertenecen a Caco.
6. Si ninguna bolita verde pertenece a Alicia, todas ellas pertenecen
a Bruno
7. Bruno se gan todas las bolitas de Caco
8. Alicia se gan todos los tiritos de Bruno.
9. Caco no tiene bolitas :(
10.
Alicia dio todos los tiritos que gan a Caco.
11.
Alicia dio a Bruno todas las bolitas rojas que gan
12.
Alicia dio a Bruno algunas de las bolitas azules que gan
13.
Caco se gan las bolitas azules que Alicia dio a Bruno
14.
Bruno dio todas sus bolitas verdes a Caco y todas sus
bolitas azules a Alicia.

II. Considerar los siguientes predicados y constantes:

a: Alicia
b: Bruno
c: Camila
F: es filsofo
N: es enfermera
A: admira a
L: ama a
P: present a a
Traduzca los siguientes enunciados, utilizando doble cuantificacin
en los casos que sea necesario:
1. Si Alicia se admira a s misma, entonces admira a alguien
2. Si Alicia admira a alguien, entonces admira a todos.
3. Todos admiran a todos
4. Todos admiran a alguien o nadie admira nada
5. Todos admiran a alguien o se admiran a s mismos
6. Alguien admira a alguien
7. Hay alguien a quien todos admiran
8. Todos los filsofos aman a Alicia
9. Un filsofo ama a Camila
10. Algunos filsofos aman a todas las enfermeras
11. Todos los filsofos aman a alguna enfermera
12. Hay un filsofo que es amado por todas las enfermeras
13. Un filsofo se present a Bruno y Alicia
14. Camila present un filsofo y una enfermera a Bruno
15. Camila present un filsofo a una enfermera
16. Camila present todos los filsofos a una enfermera
17. Camila present una enfermera a todos los filsofos
18. Algn filsofo present una enfermera a un filsofo

Respuestas
I.
1. x (Ox Pxb)
2. x ((Bx & -Tx) Ox)
3. x (Ox & Vx) & -x (Ox Vx)
4. x ((Bx & Tx) Pxa)
5. x ((Bx & Vx) & Pxc) & x ((Bx & Ax) & Pxc) & -x ((Bx & Rx) & Pxc)
6. -x ((Bx & Vx) & Pxa) x ((Bx & Vx) Pxb)
7. x ((Bx & Pxc) Gbx)
8. x ((Tx & Pxb) Gaxc)
9. -x (Bx & Pxc)
10. x ((Tx & Gax) Dax
11. x (((Bx & Rx) & Gax) Daxb)
12. x (((Bx & Ax) & Gax) & Daxb)
13. x (((Bx & Ax) & Daxb) Gcx)
14. x ((Bx & Pxb) ((Vx Dbxc) & (Ax Dbxa))
II.
1. Aaa x Aax
2. x Aax x Aax
3. x y Axy
4. x y Axy v x y -Axy
5. x y (Axy v Axx)
6. x y Axy
7. xy Ayx
[alt:] yx Axy
8. x (Fx Lxa)
9. x (Fx & Lxc)
10. x (Fx & y (Ny Lxy))
11. x (Fx y (Ny & Lxy))
12. x (Fx & y (Ny Lyx))
13. x (Fx & (Pxxb & Pxxa))
14. x (Fx & Pcxb) & x (Nx & Pcxb)
15. x y ((Fx & Ny) & Pcxy)
16. x y ((Fx & Ny) Pcxy)
17. x y (Nx & (Fy Pcxy))
18. x y z ((Fx & Ny) & (Fz & Pxyz))