Lgica FCE

TRABAJO PRACTICO NUMERO UNO

Primera parte
(A) Determine el grado de los siguientes predicados del lenguaje ordinario.
1. x est entre y y z.
Solucin: grado 3 (predicado tridico).
2. Crdoba est entre Santa Fe y z.
Solucin: grado 1 (predicado mondico).
3. x visita a y en casa de su madre.
4. x visita a su ta en casa de su madre.
5. x visita a y en casa de z.
6. Horacio visita a su ta en casa de su madre.
7. x es ta de Miguel.
8. Irene es ta de y.
9. Susana deposita dinero en la cuenta x del banco y.
10. x precede a y en la serie de los nmeros naturales.

(B) Simbolice los siguientes enunciados del lenguaje ordinario en trminos de

frmulas atmicas del LPO. Establezca el cdigo, sealando predicados y
constantes de individuo.
1. Herbert Simon es premio Nobel.
Cdigo:
Px: x es premio Nobel,
a: Herbert Simon
Simbolizacin en el LPO: Pa
2. Mar del Plata est al sur de Buenos Aires.
Cdigo:
Rxy : x est al sur de y
a : Mar del Plata,
b : Buenos Aires.
Simbolizacin en el LPO: Rab
3. K. Gdel es histricamente posterior a G. Frege.
4. Chad se ubica econmicamente entre Nigeria y Sudn.
5. El Franco suizo se ha reevaluado respecto del Euro.
6. Juan ha visto a Albina con Pedro.

7. Tres es mayor que dos.

8. La lic. Molinari est a las rdenes del dr. Ferguson.
9. El ing. Goldstein trabaja para la compaa Argn.
10. Marisa Banelli es secretraria del sr. Izarreta.

(C) Simbolice los siguientes enunciados en el LPO empleando cuantificadores.

Establezca el cdigo, sealando predicados.
1. Todo est vivo.
Cdigo:
Px: x est vivo
Simbolizacin en el LPO: x Px
2. Algo es material.
3. Todos aman a Amanda.
Cdigo:
Rxy: x ama a y
a: Amanda
Simbolizacin en el LPO: x Rxa
4. Todos aman a alguien.
Cdigo:
Rxy: x ama a y
Simbolizacin en el LPO: xyRxy.
5. Algo es ms interesante que todo.
6. Alguna cosa precede en el tiempo a algo.
7. Existe alguien que prefiere a todos.
8. Todo est entre algo y alguna cosa.
(D) Simbolice los siguientes enunciados en el LPO empleando exclusivamente
conectivas. Establezca el cdigo, sealando predicados y constantes de individuos.
1. El nmero 2 es par, y el 3 impar, pero ambos son nmeros primos.
2. Tanto 2 como 3 son primos, aunque el primero es par y el segundo impar.
Cdigo comn a 1. y 2.:
Px: x es par
Qx: x es impar
Sx: x es nmero primo
a: 2
b: 3
Simbolizacin en LPO: 1. (PaQb)  (SaSb) . 2. (SaSb)  (PaQb)
2. el nmero
no es un nmero entero.
3. Si
es un nmero real, entonces no es un nmero entero.
Cdigo comn a 2 y 3:
Rx: x es nmero real
Tx: x es nmero entero
d: el nmero

Simbolizacin en LPO: 3. (Td), 4. (Rd  (Td))

5. La constante e es un nmero par o impar.
6. 15 es un nmero par, a condicin de que sea divisible por 2.
7. No se da que el nmero 17 sea primo y par.
8.
es un nmero real, si no es un nmero entero ni es un nmero racional.
9. Si John von Neumann desarroll la computadora ENIAC y Alan Turing trabaj en el
proyecto ENIGMA, entonces Von Neumann conoca a Turing.
10. Apple desarrolla hardware y software.
11. Prolog y Lisp son lenguajes de programacin que se utilizan en inteligencia
artificial.
12. Si Firefox, Mozilla y Explorer son navegadores web, entonces los tres son software
libre.

(E) Simbolice los siguientes enunciados en el LPO utilizando nicamente

predicados de grado 1.
1. Nada es eterno.
Cdigo:
Px: x es eterno.
Soluciones alternativas (ambas correctas): (a) xPx, (b) xPx .
2.
Todos los marcianos son golosos
Ningn marciano es goloso
x (Px  Qx)
x (Px ( Qx)), tambin (x(PxQx))
Algn marciano es goloso.
Algn marciano no es goloso.
x(PxQx)
x(Px(Qx))
Cdigo comn a todos los enunciados:
Px: x es marciano; Qx: x es goloso.
3. Existen funciones que no son recursivas.
4. No todas las funciones son recursivas.
5. Todos los nmeros naturales son pares o impares.
6. Los felinos y los roedores son mamferos.
7. Cualquier graduado en administracin que tenga conocimientos intermedios de ingls
est en condiciones de inscribirse en el doctorado.

(F) Simbolice los siguientes enunciados en el LPO empleando predicados de grado

igual o mayor que 1. Establezca el cdigo, sealando predicados y constantes de
individuo.
1. Existe al menos un nmero natural mayor que 3 y menor que 6.
Cdigo:
Px: x es nmero natural
Rxy: x es mayor que y
Sxy: x es menor que y
a: 3
b: 6
3

Solucin: x(Px  (RxaSxb)).

2i. El 3, que es un nmero natural, es mayor que algn nmero natural.
2ii. Dado un nmero natural cualquiera, siempre hay un nmero natural mayor que l.
3i. Frege influy en Gentzen, que era un lgico posterior a l.
3ii. Frege influy en todos los lgicos posteriores a l.
4. No existe un nmero natural que sea mayor que todo nmero primo.
5. Todo votante prefiere algn candidato.
6. Todo el que resuelve al menos un problema deductivo es inteligente.
7.
Algo contamina todo
Todo contamina algo
x y Pxy
x y Pxy
Todo contamina todo
Algo contamina algo
x y Pxy
x y Pxy
Cdigo comn a todos los enunciados
Pxy: x contamina y

Nada contamina todo

x y Pxy
Nada contamina nada
x y Pxy

8.
Toda fbrica contamina algo
Algunas fbricas contaminan todo
x ( Px
yQxy)
x (Px  y Qxy)
o bien:
o bien:
x y( Px
Qxy)
x y (Px  Qxy)
Ninguna fbrica contamina todo
Algunas fbricas contaminan algunos ros
x(Px
y(Qxy) )
x(Px  y(Ry  Qxy))
o bien:
o bien
xy(Px
Qxy)
x y(Px  (Ry  Qxy))
Cdigo comn a todos los enunciados:
Px: x es fbrica Qxy: x contamina y Rx: x es ro

9. Toda fbrica contamina algn ro.

Simbolizacin en el LPO: x (Px
y (Ry  Qxy)
10. Hay fbricas contaminan todos los ros.
Simbolizacin en el LPO: x (Px  y (Ry
Qxy) ).
11. Ninguna fbrica contamina todos los ros.
Simbolizacin en el LPO: x(Px
(y(Ry
Qxy)) )
12. Las refineras de Acidrain Inc. contaminan los afluentes del Riachuelo.
Cdigo:
Pxa: x es refinera de a
Qxb: x es afluente de b
Rxy: x contamina y
a: Acidrain Inc
b. Riachuelo
Simbolizacin en el LPO: x (Pxa.
y (Qyb
Rxy) )
13. Todo ciudadano elige diputados y senadores.

Cdigo:
Px: x es ciudadano (grado 1)
Qxy: x elige como diputado a y (grado 2)
Rxy: x elige como senador a y (grado 2)
Simbolizacin en el LPO: x(Px
(yQxy  z Rxz))
14. Algunos partidarios del ayatol Ruhollah Jomeini derrocaron al sha de Irn Reza
Pahlavi
Cdigo:
Pxa: x es partidario de Ruhollah Jomeini
Qx: x es ayatol:
Rxb: x derroc a Reza Pahlavi
Sxc: x es sha de Irn
a: Ruhollah Jomeini
b: Reza Pahlavi
c: Irn
Simbolizacin en el LPO: x( ( Pxa  Qa)  (Rxb Sbc) )
15. Todo genera algo.
16. Algo genera todo.
17. Todo dirigente ambiciona algo.
18. Todo aburre a algunos legisladores porteos
19. Algo amedrenta a todos los gobernantes.
20. Los senadores representan a alguna provincia.
21. Ningn ciudadano elige a todos los candidatos.
22. No toda repblica est gobernada por algn presidente.
23. El sultn de Omn, Qabus ben Said, destituy a su padre, pero no lo asesin.
24. Qabus ben Said traicion a su padre, slo si destituy al sultn de Omn Said ben
Taimar y ste era su padre.

Segunda parte
(A) Proporcione ejemplos en el LPO de las expresiones siguientes:
1. Un predicado tridico; 2. una frmula que comience con un cuantificador universal;
3. una frmula cuyo smbolo principal sea una conjuncin, cuyos conyuntos sean
disyunciones; 4. una frmula sin constantes de individuos; 5. una frmula con
predicados, pero sin cuantificadores; 6. una frmula que sea la cuantificacin universal
de una cuantificacin existencial; 7. una frmula abierta; 8. una frmula cerrada; 9. un
predicado que contenga al menos un enunciado.

(B) Determine si las siguientes expresiones son frmulas o no del LPO mediante
rboles de generacin.
1. x(Px  (S
))
Solucin: No es frmula, pues (Sx
no es una frmula atmica. El siguiente es
el rbol de generacin:
x(Px  ((Sx
)))
5

|
(Px  ((Sx
)))
/ \
Px
(Sx
)
2.x y(Rxy  Py)
(Pa  (xSx))
3. (((Sc  Q))  xQx).
4. x((Qx  Px)
(Rxy  Ryx)
5. x y(((Sx  Rxy)  Ty)
zRbb).
6. (((Pa  Qa)  x(Sxa  Qx))
(Rbc  (PcPb))).

(C) Seale cules de las siguientes frmulas son abiertas y cules cerradas. Indique
en cada caso las apariciones libres de las variables.
1. x(Pa
y(Rxy  Pz)).
Solucin: frmula abierta; z es la variable libre
2.((xyQxy  Tx)
z(Sz
Rza)).
3. (x((Tx)
ySxy)  z(Rzx  Qzx)).
4. ((ScPc)
y(Py  xRxy)).

(D) Interprete en el lenguaje ordinario las siguientes frmulas del LPO

1. x(Px
Qx).
Ejemplo de solucin: Todos los seres humanos son mortales., interpretando Px como
x es es ser humano y Qx como x es mortal.
2. x(Px
(Qx)).
3. x(Px  Qx).
4. x(Px  (Qx)).
5. x y Rxy.
6. x y Rxy.
7. x(Px
yRxy).
8. x(Px
yRxy).
9. (x Pxa
y xPxy).
10. x (Qx  (Qx)).

Tercera parte
(A) (I) Formule los siguientes pares de razonamientos en lenguaje regimentado,
(II) simbolcelos en LPO, (III) obtenga la forma lgica comn.
1) (a) Si La Plata est al norte de Rosario, entonces est al norte de Buenos Aires. Pero La
Plata no est al norte de Buenos Aires. Luego, La Plata no est al norte de Rosario.

(b) Si Siemens es una empresa estatal, entonces da prdidas. Siemens no da prdidas. Por
lo tanto no es una empresa estatal.
Solucin:
(a)
(I) (La Plata est al norte de Rosario
est al norte de Buenos Aires).
(La Plata est al norte de Buenos Aires)
.
La Plata est al norte de Rosario.
(II) cdigo:Sxy: x est al norte de y, a: La Plata, b: Rosario, c: Buenos Aires.
Simbolizacin en LPO: Sab
Sac. Sac / Sab.
(b)
(I) (Siemens es una empresa estatal
da prdidas).
(Siemens da prdidas)
.
( Siemens es una empresa estatal).
(II) Cdigo d: Siemens, Px: x es una empresa estatal, Qx: x da prdidas.
Simbolizacin:
(Pd
Qd,)
(Qd)
.
(Pd).
(III) Forma lgica
(A
B)
(B)
.
(A).
2) (a) Todos los ornitorrincos son mamferos pero ovparos. Hay ornitorrincos. Luego, hay
mamferos ovparos.
(b) Cualquier nmero primo es divisible por s mismo y por 1. Hay nmeros primos.
Luego, algo es divisible por s mismo y por 1.

(B) Simbolice los siguientes razonamientos en el LPO con predicados de grado uno.
1. Los alanos y los cimbrios eran germanos. En consecuencia, los cimbrios no eran
musulmanes y los alanos tampoco; pues ningn germano era musulmn.
Cdigo:
Px: x es alano
Qx: x es cimbrio
Rx: x es germano
Sx: x es musulmn
Dos maneras de simbolizar el razonamiento son las siguientes:
x ( (Px  Qx )
Rx )
x ( (Px  Qx )
Rx )
x (Rx
Sx )
x (Rx
Sx )
x (Qx
Sx)  x (Px
Sx)
x ((Px  Qx )
Sx)

2. Hay funcionarios que no son honestos. Ya que no todos los jueces son imparciales.
Sin embargo, cualquiera de ellos es un funcionario. Adems, ningn juez que no sea
imparcial es honesto.
7

Cdigo:
Px: x es juez
Qx: x es imparcial
Rx: x es funcionario
Sx: x es honesto
x (Px
Qx)
y (Py
Ry)
x ( (Px  Qx)
Sx)
z (Rz  Sz)
3. Si Siemens es una empresa estatal, entonces es deficitaria. Pero Siemens no es
deficitaria, de modo que no es una empresa estatal.
4. Si el arameo, el rabe y el hebreo son lenguas semticas, entonces son lenguas
afroasiticas. Pues todas las lenguas semticas son afroasiticas.
5. Todos los sultanes son musulmanes, pero ningn musulmn es sun y tambin shi.
As que no todo sultn es shi; pues Said ben Taimur era un sultn sun
6. Los suevos y los cimbrios eran germanos. Pero ningn suevo era cimbrio. As que no
todos los germanos eran cimbrios.
7. Ninguna lengua romnica es afroasitica. Pero el rumano, el francs y el italiano son
lenguas romnicas. Por lo tanto, el rumano no es una lengua afroasitica y el italiano
tampoco.
8. Nadie se sentir perjudicado, si todos contribuyen. Alguien se sinti perjudicado. As
que no todos contribuyeron.
9. No hay gobernantes que no sean ambiciosos; adems, quines son ambiciosos son
fcilmente corruptibles. En consecuencia, los gobernantes son corruptibles.

(C) Simbolice los siguientes razonamientos en el LPO.

1. Ivn ama a Ludmila. De aqu, es obvio que Ivn ama a alguien.
Solucin:
Cdigo:
Rxy: x ama a y
a: Ivn
b: Ludmila
Simbolizacin
Rab .
y Ray
2. Todos protegen a todos. Luego, alguno se protege a s mismo.
3. Existe alguien a quien todos desprecian. Por lo tanto, existe al menos un hombre que
se desprecia a s mismo.

(D) Simbolice los siguientes razonamientos en el LPO

1. Dado que todos los pases rabes son productores de petrleo y que Kuwait es un pas
rabe, se da que Kuwait produce alguna materia prima, si el petrleo es una materia
prima.
Solucin: x (Px
Qxa), Pb / Sa
x (Sx & Qbx). (Px: x es pas rabe; Qxy:
x es productor de y; Sx: x es materia prima; a: petrleo; b: Kuwait).
2. Todos los canarios son aves. Todas las aves son vertebrados. Po-po es un canario.
Luego, Po-po es un vertebrado.
3. Los tenistas y los basquetbolistas son deportistas. Los deportistas necesitan ingerir
protenas. As, los tenistas necesitan ingerir protenas.
4. Todos los ayudantes dependen del Prof. Frege. El Prof. Frege es profesor titular.
Gdel es ayudante. Luego, Gdel depende de algn profesor titular.
5. Todo aquel que es ayudante de la ctedra de Lgica no es ayudante de la ctedra de
Algebra. Bourbaki es ayudante de la ctedra de Algebra. Luego, hay alguien que no es
ayudante de la ctedra de Lgica.
6. Lancelot ama a la reina Ginebra. Lancelot no ama a ninguno de sus amigos. El rey
Arturo es amigo de Lancelot. Los amigos de Lancelot odian a aquellos a quienes
Lancelot ama. Luego, el rey Arturo odia a la reina Ginebra.
7. Los generales ganan o pierden todas las batallas en las que han participado. Existe
una batalla que Napolen Bonaparte, que era general, ni gan ni perdi. Luego, no se da
que Napolen Bonaparte haya participado en todas las batallas.

(E) Simbolice en el LPO la informacin dada por los siguientes conjuntos de

enunciados.
1. Todos los planetas giran alrededor del Sol. Marte, Venus y Jpiter son planetas.
Jpiter es un planeta gaseoso. Ganmedes es satlite de Jpiter. Los satlites de los
planetas giran alrededor de estos.
cdigo: a: el Sol; b: Marte; c: Venus; d: Jpiter; e: Ganmedes; Px: x es
planeta; Qxy: x gira alrededor de y; Rx: x es gaseoso; Sx: x es elptico; Txy: x es
satlite de y.
Simbolizaciones: x(Px
Qxa), Pb, Pc, Pd,
(PdRd), Ted, xy((PxTyx)
Qyx).
2. Pablo y Gerardo son cadetes. Lorena, Claudio y Manuel son empleados. Lorena
trabaja en la seccin comercializacin. Claudio trabaja en la seccin ventas. Pablo
trabaja en la seccin ventas. Todo empleado puede indicar tareas a todo cadete de su
misma seccin.
3. Astra e YPF son empresas petroleras. ANCAP es una empresa petrolera uruguaya.
Petrobras es una empresa petrolera brasilea y adems estatal. YPF es una empresa
privada. Todas las empresas petroleras privadas cotizan en bolsa.

4. Todos los ayudantes de la ctedra de Lgica son doctores. Todos los ayudantes de la
ctedra de Fsica son autores de al menos una publicacin cientfica. Gdel es ayudante
de la ctedra de Lgica. Einstein es ayudante de la ctedra de Fsica. Hilbert no es
ayudante de la ctedra de Anlisis.

Cuarta Parte: Ejercicios adicionales

(A) Simbolice en el LPO los siguientes enunciados.
1. Algunos matemticos leen polaco, pero todos leen ingls.
2. Existe al menos un nmero natural mayor que tres y menor que seis.
3. Algunos pases tienen gobiernos de izquierda y economas capitalistas, pero algunos
gobiernos de derecha tienen economas socialistas.
4. Si todos prefieren a Juan, entonces todos prefieren a algunos, aunque nadie prefiere a
todos.
5. Nadie aprende nada, si no se lo ensea primero a s mismo.
6. Ningn club tiene a todos como socios.
7. Todos los miembros del club tienen al menos un auto.
8. El Dr. Garca revisa a todos los jugadores del equipo.
9. Algn doctor revisa a todos los jugadores del equipo.
10. Nadie ingresa a la cancha, a menos que sea miembro del club.
11. Dardo Rocha era un visionario y fund La Plata, pero no dise el plano
fundacional.
12. Si algo es espacial y temporal, entonces algo es espacial y algo es temporal.
13. Los dinosaurios son vertebrados o invertebrados.
14. Los gorriones tienen ala y pico.
15. Gauss admiraba a algn matemtico de la antigedad.
16. Todos aman u odian a Amanda.
17. Toda persona inteligente defiende algn inters.

(B) Simbolice en el LPO los siguientes razonamientos

1. Algunos aztecas expulsaron a los espaoles de Tenochtitlan. Ya que, Cuauhtmoc era
sobrino de Moctezuma y los sobrinos de Moctezuma eran aztecas. Adems Cuauhtmoc
expuls a los espaoles de Tenochtitlan.
Cdigo:
Pxy: x es sobrino de b (grado 2)
Qx: x es azteca (grado 1)
Rx: x es espaol (grado 1)
Sxyc: x expulso a y de c (grado 3)
a: Cuauhtmoc
b: Moctezuma
c: Tenochtitlan
Pab  x (Pxb
Qx)
z (Rz
Sazc)
10

y (Qy  z (Rz
Syzc)

2. El Rig Veda fue escrito en la lengua snscrito. De modo que el snscrito es una
lengua sagrada. Pues la lengua en que est escrito un texto sagrado es sagrada; y el Rig
Veda es un texto sagrado.
Cdigo:
Pxy: x est escrito en lengua y
Qx: x es texto sagrado
Rx: x es lengua sagrada
a: Rig Veda
b: idioma snscrito
Pab
xy( (Qx  Pxy)
Ry )
Qa
Rb
3. Ningn juez es convicto. Pero los miembros de la Corte Suprema de Justicia
designados por Mndez eran jueces. De aqu se sigue que no hay miembros de la Corte
Suprema designados por Mndez que sean convictos.
Cdigo:
Px: x es juez
Qx es convicto
Rxa: x es miembro de la Corte Suprema de Justicia
Sxb: x es designado por Mndez
a: la Corte Suprema de Justicia
b: Mndez
x(Px
Qx ).
x(Rxa  Sxb
Px)
x( (Rxa  Sxb)  Qx)
1. Los glatas eran celtas y no germanos. Los glatas invadieron Asia Menor y fundaron
Galacia. De modo que algunos celtas invadieron Asia Menor.
2. Genserico era rey de los vndalos, slo si derrot al general romano Bonifacio y el
emperador romano Valentiniano III le tema. Efectivamente, Genserico era el rey de los
vndalos. As que algunos romanos le teman.
3. El Sutra Pitaka fue escrito en chino o pali. Pero los textos sagrados budistas fueron
escritos en pali. Y el Sutra Pitaka es un texto sagrado budista. Por consiguiente, el Sutra
Pitaka no fue escito en chino.
4. Tarik ibn Ziyad era un caudillo bereber que expuls a los visigodos hispanos. As
que, los musulmanes conquistaron la pennsula Ibrica. Pues si Tarik ibn Ziyad expuls
a los visigodos hispanos, entonces los musulmanes conquistaron la pennsula Ibrica.
5. Quien estafa a otro es un delincuente. Por lo tanto, nadie estafa a otro, dado que no
hay delincuentes.

11

6. Los polticos son personas inescrupulosas y deshonestas. As que, quien es

representado por un poltico, es representado por una persona inescrupulosa y
deshonesta.
7. Dado que todos los pases rabes producen petrleo y que Kuwait es un pas rabe, se
da que Kuwait produce alguna materia prima, a condicin de que el petrleo sea una
materia prima.
8. Los mdicos y los abogados son profesionales. Los profesionales son respetados.
Luego, los mdicos son respetados.
9. Ninguna persona experimentada es incompetente. Larsen hace siempre desatinos.
Ninguna persona competente hace siempre desatinos. De aqu, Larsen es una persona
sin experiencia.
10. Los trenes de la UGOFE parten de la estacin Constitucin. Algunos trenes de la
UGOFE no circulan a horario. Por consiguiente, algunos trenes que parten de
Constitucin no circulan a horario.
11. Todos los caballos son animales. Por ello, la cabeza de un caballo es la cabeza de un
animal.
12. El hombre puro ama todo lo que es puro. Por consiguiente, el hombre puro se ama a
s mismo.
13. Los nios son seres humanos. Por lo tanto, quien hace infeliz a un nio, hace infeliz
a un ser humano.
14. Si hay un programa que calcula la solucin a este problema, entonces el problema es
decidible. El problema no es decidible. Por consiguiente, no hay un programa que calcule
su solucin.

(C) Los siguientes tres casos estn tomados del libro Symbolic Logic (1896) de
Charles L. Dogson (nombre autntico del escritor Lewis Carroll)
1. Los bebs son ilgicos. Nadie que sea menospreciado puede tratar con un cocodrilo.
La gente ilgica es menospreciada. Por lo tanto, los bebs no pueden tratar con un
cocodrilo.
2. Todo ser racional puede ejercitar la lgica. Ningn luntico puede ser admitido como
miembro de un jurado. Ninguno de tus hijos puede ejercitar la lgica. Por lo tanto,
ninguno de tus hijos puede ser admitido como miembro de un jurado.
3. Los patos no pueden bailar el vals. Los oficiales nunca se rehsan a bailar el vals.
Todas mis aves de corral son patos. As es que entre mis aves de corral no se cuenta
ningn oficial.

12

(D) Los dos casos siguientes estn tomados de la Logica Hamburguensis de

Joachim Jungius (1638).
1. Todo crculo es figura. Por lo tanto, quien dibuja un crculo, dibuja una figura.
2. Todo reptil es animal. Por lo tanto, quien cre a todo animal cre a todo reptil.

(E) Represente mediante el LPO la informacin dada por los siguientes conjuntos
de enunciados.
1.
a. El pacha marroqu Thami el-Mezouari el-Glaoui era berebere
b. Si el-Glaoui apoy a Francia, entonces no era nacionalista.
c. Mohamed V ben Youssef era un sultn marroqu pero no era berebere.
d. Mohamed V fue depuesto por Francia, que tena el apoyo de el-Glaoui.
e. Ningn berebere que apoye a Francia es nacionalista.
2.
a. Ningn organismo estatal controla todas las empresas privadas.
b. Cualquier empresa privatizada es controlada por algn organismo estatal.
c. Llamey es una empresa telefnica, pero Hadesvas es una empresa de transporte
pblico subterrneo.
d. No hay un organismo estatal que controle tanto Llamey como Hadesevas.
e. Llamey y Hadevas son empresas privatizadas.
3.
a. Los ciudadanos que votan eligen algn diputado.
b. No es cierto que todos los diputados representen a algn ciudadano.
c. Ningn ciudadano es representado por el diputado Poropop.
d. Cualquier diputado vota, pero no todos los ciudadanos votan.
e. Algunos ciudadanos que votaron, eligieron al diputado Poropop.
4.
a. Todos los vuelos con destino final en Londres hacen escala en Madrid.
b. Todos los vuelos con destino final en Mosc hacen escala en Roma.
c. El vuelo AR1150 tiene como destino final Londres.
5.
a. Los canarios y los loros son aves.
b. Los loros hablan.
c. Las aves cantan.
d. Pepito y Perico son loros.
e. Los canarios vuelan.
f. Todas las aves, excepto los pinginos y los andes, vuelan.
6.
a.Keith Jarrett es un msico de jazz que toca el piano.
b. Astor Piazzolla es un msico de tango que toca el bandonen.
c. Charly Garca es un msico de rock que toca el piano.

13

d. Keith Richards es un msico de rock que toca la guitarra.

e. Los msicos de tango aman Buenos Aires.
f. Los msicos de jazz aman New Orleans.
g. El piano y la guitarra son instrumentos de cuerdas.

(F) Ms ejercicios adicionales de simbolizacin de enunciados

1. Si un instante de tiempo viene despus de otro cualquiera, entonces hay un instante
de tiempo despus del primero y antes del segundo.
2. Si una persona cualquiera es padre de otra, la que a su vez es padre de una tercera
persona, entonces la primera es abuelo de la tercera.

14