Unidad docente de Lgica y Filosofa de la Ciencia

Ejercicios Resueltos

Ejercicios Resueltos del Libro de Eulalia Prez Sedeo

15)

Si la tormenta contina o anochece, nos quedaremos a cenar o a dormir; si nos

quedamos a cenar o a dormir no iremos maana al concierto; pero s iremos
maana al concierto. As pues, la tormenta no contina.
Formalizacin:
p: la tormenta Contina
q: anochece
r: nos quedamos a cenar
s: nos quedamos a dormir
t: ir maana al concierto
Demostracin
1.- (p q) (r s)
2.- (r s) t
3.- t
4.- p
5.- (p q) t
6.- (p q)
7.- p q
8.- p
9.- p p
10.- p

16)

(p q) (r s)
(r s) t
t
p

Premisa
Premisa
Premisa
TRANS C. 1,2
M.T. 5,3
De Morgan 6
E.C. 7
I.C. 4, 8
I.N. 4-9

Si x = 1 e y = 2, entonces z = 3. Si, si y = 2, z = 3 entonces w = 0. x= 1. Por

consiguiente w = 0.
Formalizacin:
p: x =1
q: y =2
r: z =3
s: w = 0
Demostracin
1.- (p q) r
2.- (q r) s
3.- p
4.- s
5.- (q r)
6.- q r
7.- q
8.- r
9.- p q
10.- r
11.- r r
12.- s
10.- s

(p q) r
(q r) s
p
s

Premisa
Premisa
Premisa
M.T. 2, 4
Def C. 5
E.C. 6
E.C. 6
I.C. 3,
E.I. 1,9
I.C. 10,8
I.N. 4-11
E.N. 12

Unidad docente de Lgica y Filosofa de la Ciencia

17)

Ejercicios Resueltos

Si un tringulo tiene tres ngulos, un cuadrado tiene cuatro ngulos rectos. Un

tringulo tiene tres ngulos y su suma vale dos ngulos rectos. Si los rombos
tienen cuatro ngulos rectos, los cuadrados no tienen cuatro ngulos rectos.
Por tanto, los rombos no tienen cuatro ngulos rectos.
Formalizacin:
p: un tringulo tiene 3 ngulos
q: un cuadrado tiene 4 ngulos rectos
r: la suma vale dos ngulos rectos
s: los rombos tienen cuatro ngulos rectos
Demostracin
1.- p q
2.- p r
3.- s q
4.- s
5.- q
6.- p
7.- p
8.- p p
9.- s

18)

pq
pr
s q
s

Premisa
Premisa
Premisa
E.I. 3, 4
M.T. 1,5
E.C. 2
I.C. 7,6
I.N. 4-8

Si la gorila es atractiva, el gorila sonreir abiertamente o ser infeliz. Si no es

feliz, no procrear en cautividad. Por consiguiente, si la gorila es atractiva,
entonces, si el gorila no sonre abiertamente, no procrear en cautividad.
Formalizacin:
p: la gorila es atractiva
q: el gorila sonreir
r: es feliz
s: procear en cautividad
Demostracin
1.- p (q r)
2.- r s
3.- p
4.- q
5.- q r
6.- r
7.- s
8.- q s
9.- p (q s)

p (q r)
r s
p (q s)

Premisa
Premisa
E.I. 1,3
SIL. DISY. 5,4
E.I. 2, 6
I.I. 4-7
I.I. 3-8

Unidad docente de Lgica y Filosofa de la Ciencia

19)

Ejercicios Resueltos

Si el ejrcito marcha contra el enemigo, tiene posibilidades de xito; y arrasar

la capital enemiga, si tiene posibilidades de xito. O el ejrcito marcha contra el
enemigo, o se repliega rpidamente. Si se repliega rpidamente, el enemigo
atacar su retaguardia; y perder la guerra, si el enemigo ataca su retaguardia.
Por tanto, si no arrasa la capital enemiga, perder la guerra.
Formalizacin:
p: el ejrcito marcha contra el enemigo
q: tiene posibilidades de xito
r: arrasar la capital enemiga
s: se repliega rpidamente
t: el enemigo atacar la retaguardia
u: perder la guerra
Demostracin
1.- (p q) (q r)
2.- p s
3.- (s t) (t u)
4.- r
5.- p r
6.- s u
7.- p
8.- s
9.- u
10.- r u

(p q) (q r)
ps
(s t) (t u)
r u

Premisa
Premisa
Premisa
TRANS. C. 1
TRANS. C. 3
M.T. 5, 4
SIL. DISY. 2,7
E.I. 6,8
I.I. 4-9

20) Si el cometa Halley pasa cerca de la Tierra, podremos observarlo con un

telescopio; pero no pasar cerca de la Tierra, si las condiciones no son propicias.
Si se enva una sonda espacial a su encuentro, las condiciones sern propicias. Si
pasa cerca de la Tierra y las condiciones son propicias, podremos apreciar la
belleza del Halley. O las condiciones no son propicias o podremos observar el
Halley con un telescopio. As pues, si el cometa Halley pasa cerca de la Tierra o
se enva una sonda espacial a su encuentro, podremos apreciar la belleza del
cometa Halley.
Formalizacin:
p: El Cometa Halley pasa cerca de la Tierra
q: podremos observarlo
r: las condiciones son propicias
s: se enva una sonda
t: apreciaremos la belleza del Halley

Demostracin
El razonamiento no es vlido

(p q)
r p
sr
(p r) t
r q
(p s) t

Unidad docente de Lgica y Filosofa de la Ciencia

Ejercicios Resueltos

21) Si no es cierto que se puede ser rico y dichoso a la vez, entonces la vida est llena
de frustraciones y no es un camino de rosas. Si se es feliz, no se puede tener todo.
Por consiguiente, la vida est llena de frustraciones.
Formalizacin:
p: se puede ser rico
q: se puede ser dichoso
r: la vida est llena de frustraciones
s: es un camino de rosas
Demostracin
1.- (p q) (r s)
2.- q p
3.- r
4.- q p
5.- p q
6.- (p q)
7.- r s
8.- r
9.- r r
10.- r
10.- r

(p q) (r s)
q p
r

Premisa
Premisa
Def. C. 2
COM. C. 4
De Morgan. 5
E.I. 1, 6
E.C. 7
I.C. 8, 3
I.N. 3-9
E.N. 10.

22) Si la descripcin bblica de la cosmologa es estrictamente correcta, el Sol no fue

creado hasta el cuarto da. Y si el Sol no fue creado hasta el cuarto da, no puede
haber producido la sucesin del da y la noche durante los tres primeros das. Pero,
o bien las Escrituras usan la palabra 'da' en un sentido diferente al aceptado
usualmente, o bien el sol debe haber sido la causa de la sucesin del da y la
noche durante los tres primeros das. De todo ello se desprende que, o bien la
descripcin bblica de la cosmologa no es estrictamente correcta, o bien 'da' es
utilizado en las Escrituras en diferente sentido al que usualmente se acepta.
Formalizacin:
p: La descripcin bblica de la cosmologa...
q: El Sol fue creado el cuarto da
r: puede haber producido la sucesin...
s: Las Escrituras usan la palabra da...

p q
q r
sr
p s

Unidad docente de Lgica y Filosofa de la Ciencia

Demostracin
1.- p q
2.- q r
3.- s r
4.- (p s)
5. p r
6.- p s
7.- p
8.- r
9.- s
10.- r
11.- r r
12.- p s

Ejercicios Resueltos

Premisa
Premisa
Premisa
TRANS. C. 1,2
De Morgan. 4
E.C. 6
E.I. 5, 7
E.C. 6
SIL. DISY. 3, 9
I.C. 10, 8
I.N. 5-11

23) Si Elvira opina que hay que hacer lo posible para ser feliz, abandonar a su
amante o se dedicar a su profesin. Si se dedica a su profesin, no dejar a su
marido. En conclusin, si Elvira opina que hay que hacer lo posible para ser feliz,
entonces, dejar a su marido aunque no abandone a su amante.
Formalizacin:
p: Elvira opina que...
q: abandonar a su amante
r: se dedicar su profesin.
s: dejar a su marido.

p (q r)
r s
p (q s)

Demostracin
El razonamiento no es vlido
24) Si los astrnomos observan un nuevo planeta con atmsfera fuera de nuestro
sistema solar, la Tierra no ser el nico planeta habitable en el Universo. O la
Tierra no es el nico planeta habitable o hay sistemas inexplorados. Por tanto, o
los astrnomos no observan un nuevo planeta con atmsfera, fuera de nuestro
sistema solar, o la Tierra es el nico planeta habitable en el Universo.
Formalizacin:
p: Los astrnomos observan...
q: La Tierra ser el nico....
r: Hay sistemas inexplorados.

p q
q r
p q

Demostracin
El razonamiento no es vlido

Unidad docente de Lgica y Filosofa de la Ciencia

Ejercicios Resueltos

25) No existe una estrella gemela al Sol fuera de la Va Lctea o existe un planeta en
esa estrella llamado Nmesis. Los dinosaurios desaparecieron de la faz de la
Tierra debido a un cataclismo producido por la aproximacin a nuestro planeta de
un cuerpo celeste de considerable tamao. Si, si existe una estrella gemela al Sol
fuera de la Va Lctea, su planeta Nmesis destruir la Tierra, entonces no es
cierto que los dinosaurios desaparecieron de la faz de la Tierra debido a un
cataclismo producido por la aproximacin a nuestro planeta de un cuerpo celeste
de considerable tamao. Por tanto, no es cierto que si es cierto que existe un
planeta llamado Nmesis en la estrella gemela al Sol que se halla fuera de la Va
Lctea, destruya la Tierra.
Formalizacin:
p: existe una estrella gemela...
q: existe un planeta llamado Nmesis
r: los dinosaurios desaparecieron...
s: Nmesis destruir la Tierra
Demostracin
1.- p q
2.- r
3.- (p s) r
4.- q s
5. (p s)
6.- p s
7.- p
8.- q
9.- s
10.- s
11.- s s
12.- (q s)

p q
r
(p s) r
(q s)

Premisa
Premisa
Premisa
M.T. 3,2
Def. C. 5
E.C. 6
SIL. DISY. 1, 7
E.I. 4,8
E.C. 6
I.C. 10, 11
I.N. 4-11