Curso de induccin

Ejercicios Lgica

1. Simboliza las siguientes proposiciones:

a. No vi la pelcula, pero le la novela:.
b. Ni vi la pelcula ni le la novela:...
c. No es cierto que viese la pelcula y leyese la novela:

..
d. Vi la pelcula aunque no le la novela:.
e. No me gusta trasnochar ni madrugar:..
f. O tu ests equivocado o es falsa la noticia que has ledo:

g. Si no estuvieras loca, no habras venido aqu:

.
h. Llueve y o bien nieva o sopla el viento:
\wedge \vee \land \neg \to \leftrightarrow \vdash

O est lloviendo y nevando o est soplando el viento:

....
j. Si hay verdadera democracia, entonces no hay
detenciones arbitrarias ni otras violaciones de los
derechos civiles:
k. Roberto har el doctorado cuando y solamente cuando
obtenga la licenciatura:..
l. Si viene en tren, llegar antes de las seis. Si viene en
coche, llegar antes de las seis. Luego, tanto si viene en
tren como si viene en coche, llegar antes de las seis:

i.

2. Simboliza:
a.
b.
c.
d.
e.
f.
g.

Si p, entonces q:..
No es el caso que p y q:.................
p solamente si q y no r:...............
p o no q:..
Si p y q, entonces no-r o s:..............
Si p, entonces q, y si q, entonces p:...........
Si p y q, entonces r, p Luego si q, entonces r:

h. Si p y q, entonces r. Si r y s, entonces t. Luego si p y q y s,

entonces t:

3. Formaliza
las
siguientes
proposiciones:
a. No es cierto que no me guste bailar. [p: me gusta bailar]
.
b. Me gusta bailar y leer libros de ciencia ficcin. [p: me gusta
bailar. q: me gusta leer libros de ciencia ficcin]

c. Si los gatos de mi hermana no soltaran tanto pelo me

gustara acariciarlos. [p: los gatos de mi hermana sueltan
pelo. q: me gusta acariciar los gatos ]
..
d. Si y slo si viera un marciano con mis propios ojos, creera
que hay vida extraterrestre. [p: ver un marciano con mis
propios ojos. q: creer en los extraterrestres ]

e. Una de dos: o salgo a dar un paseo, o me pongo a

estudiar como un energmeno. [p: salir a dar un paseo.

q: estudiar como un energmeno]..
f. Si los elefantes volaran o supieran tocar el acorden,
pensara que estoy como una regadera y dejara que me
internaran en un psiquitrico. [p: los elefantes vuelan. q:
los elefantes tocan el acorden. r: estar loco. s: internar
en un psiquitrico ]..
g. Prefiero ir de vacaciones o estar sin hacer nada si tengo
tiempo para ello y no tengo que ir a trabajar. [p: ir de
vacaciones. q: no hacer nada. r: tener tiempo. s: ir a
trabajar ]..

4. Relacionar cada proposicin con su

formalizacin:
Llueve = p , Hace sol = q

1
2
3
4
5
6

Llueve y hace sol

Llueve y no hace sol
Llueve o hace sol
Si no llueve, hace sol
No es cierto que llueva
No es cierto que no llueva

7 Har sol si y slo si no llueve

5A
3B
1C
2D
6E
7F
4A

A
B
C
D
E
F
G

5. Relaciona cada proposicin con su

formalizacin:
Llueve = p , Hace sol = q, Las brujas se peinan = r
1A A
1 Llueve y hace sol
2
3
4

No es cierto que si llueve y hace sol las

brujas se peinan
Las brujas se peinan nicamente si
llueve y hace sol
Los planetas reflejan luz si y slo si las
estrellas la emiten y
los planetas giran alrededor de ellas
Si no es cierto que las estrellas emiten
luz y que los planetas
la reflejan, entonces stos no giran
alrededor de ellas

3B B
4C C
2D D

5E E

6. Relaciona cada proposicin con su

formalizacin:

Las estrellas emiten luz = p ; Los planetas reflejan la luz = q ;

Los planetas giran alrededor de las estrellas = r
Si las estrellas emiten luz, entonces los
2A A
1 planetas la reflejan y giran alrededor de
ellas

Las estrellas emiten luz o los planetas la

reflejan y, por otra parte, los planetas giran 4B B
alrededor de ellas

Los planetas reflejan luz si y slo si las

estrellas la emiten y los planetas giran
alrededor de ellas

1C C

Si no es cierto que las estrellas emiten luz

y que los planetas la reflejan, entonces
stos no giran alrededor de ellas

3D D

7. Relaciona cada proposicin con su

formalizacin:
Pablo atiende en clase = p ; Pablo estudia en casa = q;
Pablo fracasa en los exmenes = r ; Pablo es aplaudido = s

Si Pablo no atiende en clase o no estudia en

casa, fracasar en los exmenes y no ser
aplaudido

3A A s)

Si no es el caso que Pablo atiende en clase y

estudia en casa, entonces fracasar en los
exmenes o no ser aplaudido

4B B

Pablo atiende en clase y estudia en casa o, por

otra parte, fracasa en los exmenes y no es
aplaudido

1C C

nicamente si Pablo atiende en clase y estudia

en casa, no se dar que fracase en los exmenes
y no sea aplaudido

2D D

8. Relaciona cada proposicin con su

formalizacin:

Otorga, ordenadamente, variables proposicionales a las diferentes

oraciones de cada caso.
Si escoges tus deseos y tus miedos, no
1 existir para ti ningn tirano. (Epicteto) 3A A
Quin tiene un porqu para vivir puede
2 soportar cualquiera cmo. (Nietzsche) 5B B
El mundo entero es un escenario y todos
2C C
3 los humanos somos unos actores.
(Shakespeare)

Cuando uno no tiene imaginacin, la

muerte es poca cosa; cuando uno la
tiene, la muerte es demasiado. (Cline)

Ojos que no ven, corazn que no siente. 1E

4D D
r

9. Formaliza las siguientes proposiciones:

Si tuvieran que justificarse ciertos hechos por su enorme
tradicin entonces, si estos hechos son inofensivos y respetan a
todo ser viviente y al medio ambiente, no habra ningn
problema. Pero si los hechos son brbaros o no respetuosos con
los seres vivientes o el medio ambiente, entonces habra que
dejar de justificarlos o no podramos considerarnos dignos de
nuestro tiempo.

p: justificar hechos por su tradicin.

q: ser inofensivo.
r: ser respetuoso con los seres vivos.
s: ser respetuoso con el medio ambiente.
q: ser brbaro. (= no ser inofensivo)
u: ser digno de nuestro tiempo.

11. Formaliza las siguientes proposiciones y

confecciona su tabla de verdad:
O ests seguro y lo que dices es cierto o mientes como
un bellaco.
p q
r (p
q)
r
p = estar seguro.
V V V
q = decir la verdad.
r = mentir como un
V V F
bellaco.
V F V
F V V
F V F
F F V
F F F

12. Construye las tablas de verdad de:

b)

a)
p

V
V
F
F

V
F
V
F

(p

q)

V
V
F
F

V
F
V
F

(p

q)

12. Construye las tablas de verdad de:

c)
p

V
V
F
F

V
F
V
F

(p

d)
q)

V
V
F
F

V
F
V
F

(p

q)

12. Construye las tablas de verdad de:

e)
p

V
V
F
F

V
F
V
F

12. Construye las tablas de verdad de:

f) [
p q

VV
V F
F V
F F

13. Construye las tablas de verdad e indica si se trata de

tautologas, contradicciones
o indeterminaciones.

b)

a)
p

p q

V
V
F
F

V
F
V
F

V
V
F
F

V
F
V
F

(p

q)

13. Construye las tablas de verdad e indica si se trata de

tautologas, contradicciones
o indeterminaciones.

d)

c)
p

V
V
F
F

V
V
F
F

V
F
V
F

13. Construye las tablas de verdad e indica si se trata de

tautologas, contradicciones
o indeterminaciones.

e)
p

V
V
F
F

V
F
V
F

f)
(

V
V
F
F

V
F
V
F

14. Formaliza el siguiente enunciado. Cuntas variables tiene la

tabla? Es una tautologa?

Si un animal fabuloso se enfada, te quedas paralizado del

susto; y si te quedas
paralizado del susto, entonces no puedes sino apelar a su
bondad y as no ser engullido.
Por lo tanto, si un animal fabuloso se enfada, tendrs que
apelar a su bondad o sers
engullido.
p = se enfada un animal fabuloso
q= quedarse paralizado del susto
r = apelar a su bondad
s = ser engullido

Es una tautologa?
p

[q

15. Confecciona las tablas de verdad de las siguientes

proposiciones. Son tautologas? Pueden ser probadas?

p q

VV
V F
F V
F F

15. Confecciona las tablas de verdad de las siguientes

proposiciones. Son tautologas? Pueden ser probadas?

p q

VV
V F
F V
F F

15. Confecciona las tablas de verdad de las siguientes

proposiciones. Son tautologas? Pueden ser probadas?

p q

VV
V F
F V
F F

16. Formaliza los siguientes argumentos:

a. Si acepto este trabajo o dejo de pintar por falta de

tiempo, entonces no realizar mis sueos.

He aceptado el trabajo y he dejado de pintar.
Por lo tanto, no realizar mis sueos.
p = aceptar el trabajo.
q = dejar de pintar.
r = realizar mis sueos.

16. Es tautologas?
p

V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F

16. Formaliza los siguientes argumentos:

b. Si vamos a Asia, entonces llegaremos hasta la India.
Si vamos a Asia entonces, si llegamos hasta la India
visitaremos Varanasi.
Si vamos a India entonces, si visitamos Varanasi podremos
ver el Ganges.
Por lo tanto, si vamos a Asia veremos el Ganges.

p = ir a Asia.
q = llegar hasta la India.
r = visitar Varanasi.
s = ver el Ganges.

17. Formaliza el siguiente argumento.

Todo nmero entero o es primo o es compuesto.
Si es compuesto, es un producto de factores primos, y si es un
producto de factores primos, entonces es divisible por ellos.
Pero si un nmero entero es primo, no es compuesto, aunque es
divisible por s mismo y por la unidad, y consiguientemente,
tambin divisible por nmeros primos.
Por tanto, todo nmero entero es divisible por nmeros primos.

p = ser primo.
q = ser compuesto.
r = producto de factores primos.
s = ser divisible por factores primos.
t = ser divisible por s mismo.
u = ser divisible por la unidad.

18. Halla las tablas de verdad de los siguientes

argumentos.
a) q
p q r
V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F

18. Halla las tablas de verdad de los siguientes

argumentos.
P q r S
V

p)

18. Halla las tablas de verdad de los siguientes

argumentos.
P q r S
F

p)

19. Formaliza los siguientes enunciados,

indicando qu enunciado simple corresponde a
cada variable que uses.:
a. Si no hay ruidos y no ests sordo, entonces debes orme.

...
b. Ir al cine o al teatro, si me invitas.
c. En el caso de que venga Cipriano, vendrn Fulgencia y
Eustaquia.
d. Si hay guerra, no crecer el paro ni la inflacin.
*Ntese que esto NO es lgicamente equivalente a
e. Juan debe declarar y ser sincero, o no debe declarar.

Federico se ir a las Fiji o a las Seychelles si y slo si le

toca la lotera y no se arruina en la ruleta.
..
g. El Hombre Lobo es un invento, y si lo mismo ocurre con
Pap Noel, entonces los nios son
engaados.
*Ntese que esto NO es lgicamente equivalente a

h. Cuando la bolsa baja mucho, entonces es conveniente

comprar; y cuando la bolsa sube mucho, tambin es
conveniente comprar. .
i. Aumentar la inflacin y disminuir el paro, slo si se
fabrica moneda o hay guerra. ..
f.

j.
Si el aumento de la inflacin implica la disminucin de la balanza de pagos,

entonces, si no disminuye la balanza de pagos no aumenta la inflacin.

k. Federico se ir a las Fiji o a las Seychelles si y slo si le toca la lotera y no se
arruina en la ruleta.

l. Pili no ir a la fiesta a menos que vaya Mili, y si Mili va a la fiesta, ni Marisol

ni Joselito irn.
O tambin:
l.

m. Dejar de beber cuando suba el alcohol, pero voy a dejar de fumar, tanto si sube

el tabaco como si no.

Formalizaciones equivalentes:

n. n. Si no sabes ingls ni francs, te contrato en mi empresa si, y slo si, sabes

informtica o contabilidad.

20. Formaliza los siguientes argumentos,

indicando qu enunciado simple
corresponde a cada variable que uses, y
escribindolos en forma condicional con
la conclusin como consecuente. Halla
las tablas de verdad de los argumentos
que tengan hasta cuatro variables.

a. 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.

b. Si x = 1 e y = 2, entonces z = 3. Si, si y = 2, z = 3

entonces w = 0. x = 1. Por consiguiente, w = 0

c. 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.
p: un tringulo tiene tres ngulos

q: un cuadrado tiene cuatro ngulos rectos

r: su suma vale dos ngulos rectos
s: los rombos tienen cuatro ngulos rectos

d. 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.
p: se puede ser rico

q: se puede ser dichoso

r: la vida est llena de frustraciones
s: es un camino de rosas

e. La vida no tiene cosas as de fuertes o yo te puedo

contar cmo es una llama por dentro. Si yo te puedo

contar cmo es una llama por dentro, entonces pienso
entregarte mi tiempo y pienso entregarte mi fe. No es
cierto que piense entregarte mi tiempo y piense
entregarte mi fe. Por lo tanto, la vida no tiene cosas as
de fuertes.
p: tener la vida cosas as de fuertes.

q: contar cmo es una llama por dentro

r: entregarte mi tiempo
s: entregarte mi fe

f.

Aprobar lgica, si Dios quiere. Aprobar lgica si y

slo si estudio y hago todos los ejercicios. Sin embargo,
no he hecho los ejercicios, as que Dios no quiere que
apruebe lgica.
paprobar lgica

qD quiere que apruebe lgica

restudio
shago todos los ejercicios

g. Si el euro est fuerte, el petrleo est barato pero las

exportaciones resultan caras. Si Europa se endeuda o la

economa no crece, el petrleo no estar barato. La
economa crece si y slo si ni las exportaciones resultan
caras ni la inflacin aumenta. Por tanto, si la inflacin
aumenta, el euro no est fuerte.
peuro est fuerte
qpetrleo est barato
rexportaciones caras

sE se endeuda
teconoma crece
uinflacin aumenta

h. Habr inflacin, a menos que se moderen los precios y

los salarios. Siempre que se moderan los salarios pero

no los precios, si el Gobierno no interviene ocurre que el
consumo interno disminuye y la economa se ralentiza.
Por tanto, cuando no se moderan los precios, es
necesario que el Gobierno intervenga para que la
economa no se ralentice.
phay inflacin
qmoderan precios
rmoderan salarios
sgobierno interviene
tconsumo disminuye
ueconoma ralentiza

g. Habr inflacin, a menos que se moderen los precios y

los salarios. Siempre que se moderan los salarios pero

no los precios, si el Gobierno no interviene ocurre que el
consumo interno disminuye y la economa se ralentiza.
Por tanto, cuando no se moderan los precios, es
necesario que el Gobierno intervenga para que la
economa no se ralentice.peuro est fuerte
qhay inflacin
qmoderan precios
rmoderan salarios
sgobierno interviene
tconsumo disminuye
ueconoma ralentiza


Formalizaciones equivalentes:

Hay otras posibilidades, pero estas formalizaciones son las ms

naturales.

http://en.wikipedia.org/wiki/List_of_logic_symbols

\wedge
\vee
\land
\neg
\to
\leftrightarrow
\vdash
\equiv