Ejercicios de Lgica Matemtica

Ejercicio I: Dadas las proposiciones:

p : Jorge ingresa a la Universidad
q : Jorge estudia Ingeniera
r : Jorge estudia Medicina r(d): Jorge estudia medicina durante el da d
s : Jorge estudia Arquitectura

a) Simbolizar mediante los conectivos lgicos, las siguientes proposiciones:

1. Jorge ingresa a la Universidad si y slo si l estudia Ingeniera o Medicina
2. Jorge no estudia Medicina ni Arquitectura, pero ingresa a la Universidad
3. No es cierto que Jorge estudia Medicina pero no Ingeniera si ingresa a la Universidad.
4. Cualquier da, Jorge estudia Medicina durante el da.
5. Existe un da durante el cual Jorge no estudia Medicina.

b) Traducir a lenguaje comn las siguientes proposiciones:

1. p(qr)
2. s ( p )

Ejercicio II: Determinar si las siguientes proposiciones son tautologas, contradicciones o contingencias:
1. p(pvq)
2. (pq)[(pvq)p]
3. [(pq)(qvr)]r

Ejercicio III: Considerando que p es V, q es F y r es V, determine el valor de verdad de las proposiciones:

1. p ( p v q )
2. ( p q ) [ ( p v q ) p ]
3. [ ( p q ) ( q r ) ] r
4. [ ( p q ) r ] [ ( p q ) r ]

Ejercicio IV: Sabiendo que la proposicin siguiente es verdadera ( V ), determinar el valor de verdad de
p, q y r : [ ( p q ) ( r q ) ] [ ( p q ) ( q p) ]

Ejercicio V: Decir si los enunciados son proposiciones, predicados o ninguno de los dos. Adems dar el
valor de verdad de las proposiciones, y la variable de los predicados.
1/ Hay sol. 6/ Es un animal que vuela.
2/ Te gustan las matemticas? 7/ x, x 2
3/ Todos los hombres son mamferos. 8/ x, x 2y = 10
4/ x, y, xy 2x + 3y 9/ ABCD, ABCD es un rectngulo
5/ Lucy y Carlos 10/ Existe un pas libre de opresin.

Ejercicio VI: Simplificar la proposicin. ( ( (P) Q) ((R (S)) P))

PUCMM MAT 111 Dra Julie-Christine Duboc

Ejercicio VII: Dar el valor de verdad de las siguientes proposiciones.
1. (5+2 = 10) ((3 = 6) (2-1 = 1))
2. Si las aves son animales y si la cotorra es un ave, entonces la cotorra es un animal.
3. Todos los hombres vuelan todos los animales comen.
4. (5 = 15) (La Repblica Dominicana es un pas del Caribe) 8 6 = 2
5. x , (x < 2) (x > -2) x< 4
6. x , x = 4 x = 2
7. x , y , x y = y
8. P, Q, P Q P Q
9. x , x > 0 x < 0
10. ABC, ABC es un triangulo equiltera.

Ejercicio VIII: Demostrar que (P Q) (P Q) P Q

Ejercicio IX: Sean P, Q y R tres proposiciones, si se sabe qu R es falso, qu podemos decir de la

proposicin: (P R) R V Q

Ejercicio X: Escribir la frmula proposicional correspondiente a las siguientes frases. Escribir

literalmente las proposiciones (o predicados) atmicas, y matemticamente la frmula proposicional
molecular (o el predicado molecular).
1. Si Pedro va al trabajo temprano, entonces su sueldo crece, luego su esposa est feliz y la
familia entera puede ir de vacaciones a la playa.
2. x es un nmero par solo si x+1 y x-1 son nmeros impares.
3. Julia est cansada porque estudia y trabaja
4. Mara y Luis viven juntos y comparten los gastos comunes si ellos se casaron.
5. Todos los reales tienen un inverso.

Ejercicio XI: Escribir la negacin de las siguientes proposiciones.

1. (8+4 3) V (4 = 2)
2. No es verdad que Mario se casa con Julia, pero l se casa con Patricia
3. 3 + 5 = 8 5 = 25 3 + 25 = 8
4. Si hay sol hoy, no habr sol maana.
5. Todos los nmeros pares son divisibles entre 2
6. Existen hombres de mucho valor y de sabidura
7. (P V R) Q R
8. (P R) V Q

Ejercicio XII: Escribir la recproca y la contrapuesta de las siguientes proposiciones:

1. Si ABC es un tringulo con tres lados del mismo tamao entonces ABC es equiltera.
2. Si Arnold quiere ser doctor, entonces debe estudiar medicina y no divertirse mucho.
3. Si yo no como saludable o si yo fumo o tomo, entonces yo puedo enfermarme ms
fcilmente.
PUCMM MAT 111 Dra Julie-Christine Duboc