Unidad docente de Lgica y Filosofa de la Ciencia Ejercicios del Clculo de Predicados

Arantxa Martn Santos 1

Ejercicios de Derivacin del Clculo de Predicados
1. Todos los rinocerontes tienen un cuerno; todos los plantgrados son rinocerontes; as pues,
todos los plantgrados tienen un cuerno.
R: ser Rinoceronte x (Rx Ux)
U: tener Un cuerno x (Px Rx)
P: ser Plantgrado x (Px Ux)
1.- x (Rx Ux)
2.- x (Px Rx)
3.- Ra Ua E.. 1
4.- Pa Ra E. . 2
5.- Pa
6.- Ra E.I. 4,5
7.- Ua E.I. 3,6
8.- Pa Ua I.I. 5-7
9.- x (Px Ux) I. . 8
2. Ningn fotgrafo pinta. Todos los que no son fotgrafos son escultores. Por tanto, todos los
pintores son escultores.
F: ser Fotgrafo x (Fx Px)
P: Pintar x (Fx Ex)
E: ser Escultor x (Px Ex)
1.- x (Fx Px)
2.- x (Fx Ex)
3.- Fa Pa E.. 1
4.- Fa Ea E. . 2
5.- Pa
6.- Fa M.T. 3,5
7.- Ea E.I. 4,6
8.- Pa Ea I.I. 5-7
9.- x (Px Ex) I. . 8
3. Todo aquel que ama apasionadamente es desgraciado. Quien oculta su desgracia muere
prematuramente. Por tanto, si todos los que son desgraciados ocultan su desgracia, todos
los que aman apasionadamente mueren de forma prematura.
A: Amar Apasionadamente x (Ax Dx)
D: ser Desgraciado x (Ox Mx)
O: Ocultar la Desgracia x (Dx Ox) x (Ax Mx)
M: Morir Prematuramente
Unidad docente de Lgica y Filosofa de la Ciencia Ejercicios del Clculo de Predicados
Arantxa Martn Santos 2
1.- x (Ax Dx)
2.- x (Ox Mx)
3.- Aa Da E. . 1
4.- Oa Ma E. . 2
5.- x (Dx Ox)
6.- Da Oa E. . 5
7.- Aa
8.- Da E.I. 3,7
9.- Oa E.I. 6,8
10.- Ma E.I. 4,9
11.- Aa Ma I.I. 7-10
12.- x (Ax Mx) I. . 11
13.- x (Dx Ox) x (Ax Mx) I.I. 5-12
4. Ningn feo despierta pasiones; todos los atletas despiertan pasiones; por tanto, ningn
atleta es feo.
F: ser Feo x (Fx Dx)
D: Despertar pasiones x (Ax Dx)
A: ser Atleta x (Ax Fx)
1.- x (Fx Dx)
2.- x (Ax Dx)
3.- Fa Da E.. 1
4.- Aa Da E. . 2
5.- Aa
6.- Da E.I. 4,5
7.- Fa M.T. 3,6
8.- Aa Fa I.I. 5-7
9.- x (Ax Fx) I. . 8
5. Ningn caballo sabe silbar; ningn cerdo tiene alas; todos los que no saben silbar tienen
alas; por consiguiente, ningn caballo es cerdo.
C: Ser Caballo x (Cx Sx)
S: saber Silbar x (Dx Ax)
A: tener Alas x (Sx Ax)
D: Ser Cerdo x (Cx Dx)
Unidad docente de Lgica y Filosofa de la Ciencia Ejercicios del Clculo de Predicados
Arantxa Martn Santos 3
1.- x (Cx Sx)
2.- x (Dx Ax)
3.- x (Sx Ax)
4.- Ca Sa E.. 1
5.- Da Aa E. . 2
6.- Sa Aa E. . 3
7.- Ca
8.- Sa E.I. 4,7
9.- Aa E.I. 6,8
10.- Da M.T. 5,9
11.- Ca Da I.I. 7-10
12.- x (Cx Dx) I. . 11
6. Si todas las mulas son hbridos y ningn hbrido es frtil, entonces ninguna mula es frtil.
M: ser Mula x (Mx Hx)
H: ser Hbrido x (Hx Fx)
F: ser Frtil x (Mx Fx)
1.- x (Mx Hx)
2.- x (Hx Fx)
3.- Ma Ha E.. 1
4.- Ha Fa E. . 2
5.- Ma
6.- Ha E.I. 3,5
7.- Fa E.I. 4,6
8.- Ma Fa I.I. 5-7
9.- x (Mx Fx) I. . 8
7. Todos los nios son traviesos, as pues, si Guillermo es un nio, entonces, si todos los
seres traviesos son adorables, Guillermo es adorable.
N: ser Nio
T: ser Travieso x (Nx Tx)
A: ser Adorable Na [x (Tx Ax) Aa]
a: Guillermo
Unidad docente de Lgica y Filosofa de la Ciencia Ejercicios del Clculo de Predicados
Arantxa Martn Santos 4
1.- x (Nx Tx)
2.- Na Ta E. . 1
3.- Na
4.- x (Tx Ax)
5.- Ta Aa E.. 4
6.- Ta E.I. 2,3
7.- Aa E.I. 5,6
8.- x (Tx Ax) Aa I.I. 4-7
9.- Na [x (Tx Ax) Aa] I.I. 3-8
8. Todos los alcohlicos son unos borrachos. Todos los que sufren delirium tremens sufren
alucionaciones. Por consiguiente, si todos los borrachos sufren delirium tremens, todos los
alcohlicos sufren alucinaciones.
A: ser Alcohlico x (Ax Bx)
B: ser Borracho x (Dx Lx)
D: sufrir Delirium Tremens x (Bx Dx) x (Ax Lx)
L: sufrir Alucinaciones
1.- x (Ax Bx)
2.- x (Dx Lx)
3.- Aa Ba E.. 1
4.- Da La E.. 2
5.- x (Bx Dx)
6.- Ba Da E.. 5
7.- Aa
8.- Ba E.I. 3,7
9.- Da E.I. 6,8
10.- La E.I. 4,9
11.- Aa La I.I. 7-10
12.- x (Ax Lx) I.. 11
13.- x (Bx Dx) x (Ax Lx) I.I. 5-12
9. Todo ejecutivo que sea un poeta es un hombre imaginativo. Todo hombre imaginativo es
amante del riesgo. Si algn amante del riesgo no gusta de la poesa, ningn poeta es
amante del riesgo. En conclusin, si hay algn hombre imaginativo al que no le guste la
poesa, entonces ningn ejecutivo es poeta.
E: ser Ejecutivo x [(Ex Px) Ix]
P: ser Poeta x (Ix Ax)
I: ser Imaginativo x (Ax Gx) x (Px Ax)
A: ser Amante del riesgo x(Ix Gx) x(Ex Px)
G: Gustar de la Poesa
Unidad docente de Lgica y Filosofa de la Ciencia Ejercicios del Clculo de Predicados
Arantxa Martn Santos 5
1.- x [(Ex Px) Ix]
2.- x (Ix Ax)
3.- x (Ax Gx) x (Px Ax)
4.- (Ea Pa) Ia E. . 1
5.- Ia Aa E. . 2
6.- x(Ix Gx)
7.- Ia Ga
8.- Ia E.C. 7
9.- Aa E.I. 5,8
10.- Ga E.C. 7
11.- Aa Ga I.C. 9,10
12.- x (Ax Gx) I. . 11
13.- x (Ax Gx) E. . 6, 7-12
14.- x (Px Ax) E.I. 3, 13
15.- Pa Aa E.. 14
16.- Ea
17.- Pa
18.- Ea Pa I.C. 16,17
19.- Ia E.I. 4, 18
20.- Aa E.I. 5,19
21.- Aa E.I. 15,17
22.- Aa Aa I.C. 20,21
23.- Pa I.N. 17-22
24.- Ea Pa I.I. 16-23
25.- x (Ex Px) I.. 24
26.- x(Ix Gx) x(Ex Px) I.I. 6-25
10. Todos los detectives americanos pueden desentraar asesinatos. Cualquier detective que
desentrae un asesinato obtendr una recompensa. Spencer es un detective americano.
Por tanto, Spencer obtendr una recompensa.
D: ser Detective Americano x (Dx Tx)
T: desentraar Asesinatos x [(Dx Tx) Rx]
R: obtener una Recompensa Da
a: Spencer Ra
1.- x (Dx Tx)
2.- x [(Dx Tx) Rx]
3.- Da
4.- Da Ta E. . 1
5.- (Da Ta) Ra E. . 2
6.- Ta E.I. 3,4
7.- Da Ta I.C. 3,6
8.- Ra E.I. 5,7
Unidad docente de Lgica y Filosofa de la Ciencia Ejercicios del Clculo de Predicados
Arantxa Martn Santos 6
11. Ningn cuadrpedo reina en Europa. Algunos mamferos son cuadrpedos. Por tanto, hay
mamferos que no reinan en Europa.
C: ser Cuadrpedo x (Cx Rx)
R: Reinar en Europa x (Mx Cx)
M: ser Mamfero x (Mx Rx)
1.- x (Cx Rx)
2.- x (Mx Cx)
3.- Ca Ra E. . 1
4.- Ma Ca
5.- Ma E.C. 4
6.- Ca E.C. 4
7.- Ra E.I. 3,6
8.- Ma Ra I.C. 5,7
9.- x (Mx Rx) I.. 8
10.- x (Mx Rx) E.. 2, 4-9
12. Las sustancias radiactivas tienen vida corta o un valor medicinal. Ningn istopo del uranio
que sea radiactivo tiene una vida corta. Por tanto, si todos los istopos del uranio son
radiactivos, todos los istopos del uranio tienen un valor medicinal.
R: ser sustancia Radiactiva x [Rx (Cx Mx)]
C: tener vida Corta x [(Ix Rx) Cx]
M: tener valor Medicinal x (Ix Rx) x (Ix Mx)
I: ser Istopo de Uranio
1.- x [Rx (Cx Mx)]
2.- x [(Ix Rx) Cx]
3.- Ra (Ca Ma) E. . 1
4.- (Ia Ra) Ca E. . 2
5.- x (Ix Rx)
6.- Ia Ra E. . 5
7.- Ia
8.- Ra E.I. 6,7
9.- Ia Ra I.C. 7,8
10.- Ca E.I. 4,9
11.- Ca Ma E.I. 3, 8
12.- Ma SIL. DISY. 11,10
13.- Ia Ma I.I. 7-12
14.- x (Ix Mx) I. . 13
15.- x (Ix Rx) x (Ix Mx) I.I. 5-14
Unidad docente de Lgica y Filosofa de la Ciencia Ejercicios del Clculo de Predicados
Arantxa Martn Santos 7
13. Si existe algn genio, todos los grandes compositores son genios. Si alguien es
temperamental, todos los genios son temperamentales. Por tanto, si alguien es un genio
temperamental, todos los grandes compositores son temperamentales.
G: ser Genio xGx x (Cx Gx)
C: ser gran Compositor xTx x (Gx Tx)
T: ser Temperamental x (Gx Tx) x (Cx Tx)
Prueba A:
1.- xGx x (Cx Gx)
2.- xTx x (Gx Tx)
3.- x (Gx Tx)
4.- Ga Ta
5.- Ga E.C. 4
6.- Ta E.C. 4
7.- xGx I.. 5
8.- xTx I.. 6
9.- x (Cx Gx) E.I. 1,7
10.- x (Gx Tx) E.I. 2,8
11.- Cb Gb E.. 9
12.- Gb Tb E.. 10
13.- Cb Tb TRANS. C. 11,12
14.- x (Cx Tx) I. . 13
15.- x (Cx Tx) E.. 3, 4-14
16.- x (Gx Tx) x (Cx Tx) I.I. 3-15
Prueba B:
1.- xGx x (Cx Gx)
2.- xTx x (Gx Tx)
3.- x (Gx Tx)
4.- Ga Ta
5.- Ga E.C. 4
6.- Ta E.C. 4
7.- xGx I.. 5
8.- xTx I.. 6
9.- xGx xTx I.C. 7,8
10.- xGx xTx E.. 3, 4-9
11.- xGx E.C. 10
12.- xTx E.C. 10
13.- x (Cx Gx) E.I. 1, 11
14.- x (Gx Tx) E.I. 2,12
15.- Ca Ga E.. 13
16.- Ga Ta E.. 14
17.- Ca Ta TRANS. C. 15,16
18.- x (Cx Tx) I. . 17
19.- x (Gx Tx) x (Cx Tx) I.I. 3 -18
Unidad docente de Lgica y Filosofa de la Ciencia Ejercicios del Clculo de Predicados
Arantxa Martn Santos 8
Prueba C:
1.- xGx x (Cx Gx)
2.- xTx x (Gx Tx)
3.- x (Gx Tx)
4.- xGx xTx D.P.C. 3
5.- xGx E.C. 4
6.- xTx E.C. 4
7.- x (Cx Gx) E.I. 1, 5
8.- x (Gx Tx) E.I. 2,6
9.- Ca Ga E.. 7
10.- Ga Ta E.. 8
11.- Ca Ta TRANS. C. 9,10
12.- x (Cx Tx) I. . 11
13.- x (Gx Tx) x (Cx Tx) I.I. 3 -12
14. Ninguna persona insegura, es psiclogo. Todos los estudiosos de la conducta son
psiclogos. Por tanto, ningn estudioso de la conducta es una persona insegura.
I: ser persona Insegura x (Ix Px)
P: ser Psiclogo x (Ex Px)
E: ser Estudioso de la Conducta x (Ex Ix)
1.- x (Ix Px)
2.- x (Ex Px)
3.- Ia Pa E.. 1
4.- Ea Pa E.. 2
5.- Ea
6.- Pa E.I. 4,5
7.- Ia M.T. 3,6
8.- Ea Ia I.I. 5-7
9.- x (Ex Ix) I. . 8
15. Algunas mansiones no tienen ms de diez baos. Todas las mansiones son construcciones
lujosas. Luego, algunas construcciones lujosas no tienen ms de diez baos.
M: ser Mansin x (Mx Dx)
D: tener ms de 10 baos x (Mx Lx)
L: ser construccin lujosa x (Lx Dx)
Unidad docente de Lgica y Filosofa de la Ciencia Ejercicios del Clculo de Predicados
Arantxa Martn Santos 9
1.- x (Mx Dx)
2.- x (Mx Lx)
3.- Ma La E. . 2
4.- Ma Da
5.- Ma E.C. 4
6.- Da E.C. 4
7.- La E.I. 3,5
8.- La Da I.C. 7,6
9.- x (Lx Dx) I.. 8
10.- x (Lx Dx) E.. 1, 4-9
16. Los parapsiclogos no son conductistas. Ningn psiclogo es competente en cuestiones
extrasensoriales. Los que no son conductistas son competentes en cuestiones
extrasensoriales. Por tanto, los parapsiclogos no son psiclogos.
P: ser Parapsiclogo x (Px Cx)
C: ser Conductista x (Sx Ex)
S: ser Psiclogo x (Cx Ex)
E: ser competente en cuestiones Extrasensoriales x (Px Sx)
1.- x (Px Cx)
2.- x (Sx Ex)
3.- x (Cx Ex)
4.- Pa Ca E.. 1
5.- Sa Ea E.. 2
6.- Ca Ea E.. 3
7.- Pa
8.- Ca E.I. 4,7
9.- Ea E.I. 6,8
10.- Sa E.I. 5,9
11.- Pa Sa I.I. 7-10
12.- x (Px Sx) I.. 11
17. Si una cosa se extrava, entonces si toda persona valora su propiedad, eso ser buscado.
Si alguna persona valora su propiedad, toda persona lo hace. Por tanto, si algo se extrava,
entonces, si alguna persona valora su propiedad, hay algo que ser buscado.
E: ser una cosa Extraviada x Ex [x (Px Rx) x (Ex Bx)]
P: ser una Persona x (Px Rx) x (Px Rx)
R: valorar la Propiedad x Ex [x (Px Rx) x (Ex Bx)]
B: ser Buscado
Unidad docente de Lgica y Filosofa de la Ciencia Ejercicios del Clculo de Predicados
Arantxa Martn Santos 10
1.- x Ex [x (Px Rx) x (Ex Bx)]
2.- x (Px Rx) x (Px Rx)
3.- x Ex
4.- x (Px Rx) x (Ex Bx) E.I. 1,3
5.- x (Px Rx)
6.- x (Px Rx) E.I. 2,5
7.- x (Ex Bx) E.I. 4,6
8.- Ea Ba E.. 7
9.- Ea
10.- Ba E.I. 8,9
11.- Ea Ba I.C. 9,10
12.- x (Ex Bx) I.. 11
13.- x (Ex Bx) E.. 3, 9-12
14.- x (Px Rx) x (Ex Bx) I.I. 5-13
15.- x Ex [x (Px Rx) x (Ex Bx)] I.I. 3-14