Facultad de Estudios Superiores Acatln UNAM

Ejercicios de Logica

1. Determina el valor de verdad de las siguientes proposiciones y en caso de que sean

falsas convirtelas en verdaderas.

a. 1 8 X 5 =90
b. Los seres humanos somos inmortales
c. La tierra es ms grande que la luna
d. Algunos tringulos tienen cuatro lados
2. Los planetas del sistema solar son 11Seala las proposiciones que forman las
proposiciones compuestas de los siguientes fragmentos.

a. Empez a extender la mano al interior para alcanzar el interruptor, pero entonces

record que no haba ninguna bombilla en el hueco sobre la escalera de bajada al
stano.
b. Miguel ngel crea que las estatuas estn de antemano ocultas en el bloque de mrmol,
y que el trabajo del escultor no es inventarlas, sino encontrarlas.
c. Mi padre, un indio de ojos amarillos, ola a bosque. Nunca miraba al cielo de frente
porque se haba criado bajo la cpula de los rboles. Consuelo, mi madre, pas su
infancia en una regin encantada. Cuando la recogieron los misioneros, mi madre todava
no saba caminar. Ellos le pusieron un paal, le echaron unas gotas de limn en sus ojos,
la bautizaron.
d. La tarde est limpia y se nota una brisa fresca. Las calles de este pueblo, que son
estrechas, estn formadas por casas que tienen grandes aleros. En las puertas las
mujeres que estn trabajando en sus labores nos saludan y nos desean un buen viaje.
Poco despus nos detenemos en una plaza que est al final de una larga calle para
despedirnos del alcalde y agradecerle su hospitalidad.

3. Elabore las tablas de verdad de las siguientes proposiciones.

a. [(p q) r] (p r)
[() ] ( )
p q r () ()
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F

1
 b. [(r s) (s t)] (r t)

[(r s) (s t)] (r t) [(r s) (s t)] (r t)

r s t (r s) (s t)
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F

a. [(x y) x] [(y z) (y z)]

x y z (x y) [(x y) x] (y z) (y z) [(y z) (y z)] [(x y) x] [(y z) (y z)]
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F

4. Sea p: Mara tiene cabello brillante. q: Mara usa shampoo del oso.

Escriba la proposicin

Escriba la reciproca

Escriba la inversa ~ ~

Escriba la contra reciproca ~ ~

5. Elabore la tabla de verdad relacionada a la proposicin, la reciproca, la inversa, la

contra reciproca

2
 p q ~ ~ Proposicin reciproca inversa contra reciproca
~ ~ ~ ~

v v

v f

f v

f f

6. Dadas las proposiciones

P : Soy estudiante de MAC.

Q : Soy inteligente.
R : Tengo muchos amigos.

a. Escriba la ley conjuntiva y represntela con las proposiciones dadas.

b. Escriba la ley simplificativa y represntela con las proposiciones dadas.
c. Escriba la ley aditiva y represntela con las proposiciones dadas.
d. Escriba el silogismo condicional o la ley transitiva y represntelo con las
proposiciones dadas.
e. Escriba la ley del modus tollens y represntela con las proposiciones dadas.
f. Escriba la ley del modus ponens y represntela con las proposiciones dadas.

7. Formalice las siguientes proposiciones (defina cada proposicin)

a. Si ella no viene entonces nos vamos al cine

b. Si trabajas y estudias te preparas mejor para el futuro
c. Ser bachiller o titulado en Ciclo Superior y tener 18 aos cumplidos son condiciones
para poder ejercer la docencia
d. Si hay gasolina en el tanque, entonces mi automvil funciona.
e. Mi automvil slo funciona si hay gasolina en el tanque.
f. Si hay gasolina en el tanque, es suficiente para que mi automvil funcione.
g. 2 es un nmero par o 3 es un nmero primo
h. Pars est en Francia y 2 es un nmero impar

8. Escribe la forma lgica del siguiente argumento e indica las reglas de inferencia que se
utilizaron para la conclusin.

a) 4 es numero natural y, o bien 4 es par o 4 es impar.

b) No es cierto que: 4 es un nmero natural y 4 es impar.
Luego
c) 4 es un nmero natural y 4 es par, o bien, 4 es un nmero natural y 4 es impar.
d) 4 es un numero natural y 4 es par.

3
9. Utilizando el modus ponens, llegu a la conclusin

a. P1 : Si hoy es domingo, entonces hay futbol

P2 : Hoy es domingo
C:

b. P1 :Si x es un nmero para, entonces x 2 es par

p2 : x es un nmero par
C:

d. P1 : p qs
P2 : p
C:

e. P1 : t s
P2 : t
C:

f. P1 : Si est nublado, entonces, llueve

P2 : Est nublado
C:

10 . Utilizando el modus tollendo tollens, llegu a la conclusin

1. P1 : Si a b, entonces, ab0

Pab
2: 0

C:

2. P1 :Si estudio apruebo el examen

P2 : No aprob el examen

C:

3. P1 : qr

P2 : r
C: