Está en la página 1de 6

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 (p q) (r s)
q: anochece (r s) t
r: nos quedamos a cenar t
s: nos quedamos a dormir p
t: ir maana al concierto

Demostracin
1.- (p q) (r s) Premisa
2.- (r s) t Premisa
3.- t Premisa
4.- p
5.- (p q) t TRANS C. 1,2
6.- (p q) M.T. 5,3
7.- p q De Morgan 6
8.- p E.C. 7
9.- p p I.C. 4, 8
10.- p I.N. 4-9

16) 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 (p q) r
q: y =2 (q r) s
r: z =3 p
s: w = 0 s

Demostracin
1.- (p q) r Premisa
2.- (q r) s Premisa
3.- p Premisa
4.- s
5.- (q r) M.T. 2, 4
6.- q r Def C. 5
7.- q E.C. 6
8.- r E.C. 6
9.- p q I.C. 3,
10.- r E.I. 1,9
11.- r r I.C. 10,8
12.- s I.N. 4-11
10.- s E.N. 12

1
Unidad docente de Lgica y Filosofa de la Ciencia Ejercicios Resueltos

17) 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 pq
q: un cuadrado tiene 4 ngulos rectos pr
r: la suma vale dos ngulos rectos s q
s: los rombos tienen cuatro ngulos rectos s

Demostracin
1.- p q Premisa
2.- p r Premisa
3.- s q Premisa
4.- s
5.- q E.I. 3, 4
6.- p M.T. 1,5
7.- p E.C. 2
8.- p p I.C. 7,6
9.- s I.N. 4-8

18) 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 p (q r)
r: es feliz r s
s: procear en cautividad p (q s)

Demostracin
1.- p (q r) Premisa
2.- r s Premisa
3.- p
4.- q
5.- q r E.I. 1,3
6.- r SIL. DISY. 5,4
7.- s E.I. 2, 6
8.- q s I.I. 4-7
9.- p (q s) I.I. 3-8

2
Unidad docente de Lgica y Filosofa de la Ciencia Ejercicios Resueltos

19) 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 (p q) (q r)
q: tiene posibilidades de xito ps
r: arrasar la capital enemiga (s t) (t u)
s: se repliega rpidamente r u
t: el enemigo atacar la retaguardia
u: perder la guerra

Demostracin
1.- (p q) (q r) Premisa
2.- p s Premisa
3.- (s t) (t u) Premisa
4.- r
5.- p r TRANS. C. 1
6.- s u TRANS. C. 3
7.- p M.T. 5, 4
8.- s SIL. DISY. 2,7
9.- u E.I. 6,8
10.- r u 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 (p q)
q: podremos observarlo r p
r: las condiciones son propicias sr
s: se enva una sonda (p r) t
t: apreciaremos la belleza del Halley r q
(p s) t

Demostracin
El razonamiento no es vlido

3
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 (p q) (r s)
r: la vida est llena de frustraciones q p
s: es un camino de rosas r

Demostracin
1.- (p q) (r s) Premisa
2.- q p Premisa
3.- r
4.- q p Def. C. 2
5.- p q COM. C. 4
6.- (p q) De Morgan. 5
7.- r s E.I. 1, 6
8.- r E.C. 7
9.- r r I.C. 8, 3
10.- r I.N. 3-9
10.- r 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... p q
q: El Sol fue creado el cuarto da q r
r: puede haber producido la sucesin... sr
s: Las Escrituras usan la palabra da... p s

4
Unidad docente de Lgica y Filosofa de la Ciencia Ejercicios Resueltos

Demostracin
1.- p q Premisa
2.- q r Premisa
3.- s r Premisa
4.- (p s)
5. p r TRANS. C. 1,2
6.- p s De Morgan. 4
7.- p E.C. 6
8.- r E.I. 5, 7
9.- s E.C. 6
10.- r SIL. DISY. 3, 9
11.- r r I.C. 10, 8
12.- p s 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 p (q r)
r: se dedicar su profesin. r s
s: dejar a su marido. 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.... p q
r: Hay sistemas inexplorados. q r
p q

Demostracin

El razonamiento no es vlido

5
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... p q
q: existe un planeta llamado Nmesis r
r: los dinosaurios desaparecieron... (p s) r
s: Nmesis destruir la Tierra (q s)

Demostracin
1.- p q Premisa
2.- r Premisa
3.- (p s) r Premisa
4.- q s
5. (p s) M.T. 3,2
6.- p s Def. C. 5
7.- p E.C. 6
8.- q SIL. DISY. 1, 7
9.- s E.I. 4,8
10.- s E.C. 6
11.- s s I.C. 10, 11
12.- (q s) I.N. 4-11