Вы находитесь на странице: 1из 2

EJERCICIOS DE REPASO – LÓGICA PROPOSICIONAL

1. Determinar cuáles de los siguientes enunciados son 10. Simplificar las siguientes proposiciones
proposiciones: a) [(~𝑝˄𝑞) → (𝑟˄~𝑟)]˄~𝑞
a) 5 + 7 = 16 b) [(~𝑞 → ~𝑝) → (~𝑝 → ~𝑞)]˄~(𝑝˄𝑞)
b) 3 × 6 = 15 y 4 − 2 ≠ 23 × 5 c) [(𝑝˄𝑞)˅(𝑝˄~𝑞)]˅(~𝑝˄~𝑞)
c) ¿El silencio es fundamental para estudiar? d) (𝑝˄𝑞)˅(~𝑝˄~𝑞)˅𝑝
d) ¡Estudia lógica simbólica! e) 𝑡 → [(𝑝 → 𝑞) → 𝑞]˄[~𝑝˄(𝑞 → 𝑝)]
e) Nosotros estudiamos en la UPA f) [~(𝑝 → 𝑞) → ~(𝑞 → 𝑝)]˄(𝑝˅𝑞)
f) Los hombres no pueden vivir sin oxígeno. g) [(𝑝˄~𝑞)˄(𝑞 → 𝑝)˄𝑟]˅𝑝
g) ¡Arriba Callao!
11. Si ~[(~𝑝˅𝑞)˅(𝑟 → 𝑞)]˄[(~𝑝˅𝑞) → (𝑞˄~𝑝)] es verdadera,
h) 5 + 𝑥 = 7
Hallar los valores de verdad de p, q y r.
i) 2 + 3 ≠ 3 + 𝑥
12. Determinar el valor de verdad de las proposiciones p y q, si se
2. Determine cuáles de los siguientes son enunciados abiertos:
conoce que el valor de verdad del siguiente esquema:
a) x es hermano de y
[~(~𝑝 → 𝑞) → ~(𝑝 → ~𝑞)] → (𝑝 → 𝑞) es falso.
b) 28 < 15
c) 𝑥 + 𝑦 + 𝑧 ≠ 1 13. Si el esquema (𝑝˄𝑞) → (𝑞 → 𝑟), tiene valor de verdad falso,
d) 9𝑥 + 3 > 12 halla el valor de verdad de los siguientes esquemas:
e) Tenga calma, no se impaciente a) [(𝑝˄𝑞)˅(𝑞˅~𝑟)] ↔ (𝑝˅~𝑟)
f) x es ingeniero y Juan es matemático b) (𝑝˅~𝑞) → (~𝑟˄𝑞)
g) La UPA sobresalió en deporte en el 2000. c) ~(𝑞˅𝑟)˅(𝑝˅𝑞)
3. Determinar el valor de verdad de las siguientes proposiciones: 14. Dados los esquemas proposicionales denotados por A, B y C
a) Si 2 = 3, entonces 8 es número primo. respectivamente:
h) Si 5(7) = 35, entonces 10 − 3 = 13 A: 𝑝 ↔ ~(𝑞˄𝑟) ; B: ~𝑝∆~𝑟 ; 𝐶: ~(𝑝˄𝑞)˅~𝑟
b) Si 19 − 7 = 3, entonces 4(5 + 3) = 32 Determinar si:
c) (3 + 5 = 8) ˅ (5 − 3 = 4) 𝐴 → 𝐶 y 𝐵 → 𝐶 son implicaciones lógicas (tautología)
d) (3 + 8 = 11) ˅ (7 − 3 > 1)
15. Si la proposición “s” es falsa y el siguiente esquema:
e) (3 − 5 = 8) → (1 − 7 = 6)
(~𝑝˄𝑞) ↔ [(𝑞 → 𝑟)˅(𝑝˅~𝑠)] es una tautología, hallar los
f) (4 + 6 = 9) ↔ (5 − 2 = 4)
valores de p, q y r.
4. Si 𝑝(𝑥): 𝑥 2 − 16 = 0; 𝑞(𝑥): 𝑥 − 12 = 0;
16. Demostrar si las siguientes fórmulas son lógicamente
𝑟(𝑥): 𝑥 2 > 9. Hallar el valor de verdad de:
equivalentes:
a) [𝑝(2)˄~𝑞(2)] ↔ 𝑟(4)
a) ~𝑝˄𝑞 ≡ ~(𝑝˅𝑞)
b) [~𝑝(4) → 𝑟(5)]˅~𝑞(4)
b) 𝑝˄~𝑝 ≡ ~[(𝑝˅𝑝) ↔ 𝑝]
c) {[𝑝(1)˄ 𝑝(3)] ↔ [𝑟(2) ˅ 𝑝(3)]} → {~[𝑝(2)˅ 𝑞(2)]}
c) ~𝑞˅𝑝 ≡ ~(~𝑝˄𝑞) ≡ ~𝑝 ↔ (𝑝 → ~𝑞)
5. Construir la tabla de verdad de las siguientes proposiciones: d) [(𝑝˄𝑞)˄~𝑟] ≡ ~[(~𝑝˄~𝑞)˄[𝑝˅𝑟]]
a) (𝑝 ↔ ~𝑞) ↔ (𝑞 → 𝑝) e) ~(𝑝 → 𝑞) ≡ ~𝑝 ↔ 𝑞 ≡ 𝑝 ↔ ~𝑞 ≡ ~(~𝑝 ↔ ~𝑞)
b) (𝑝˄~𝑞) → (~𝑝˅𝑞)
c) [(𝑝˅~𝑟)˄(𝑝˅𝑟)]˄[(𝑞 → 𝑝)˄(𝑞˅𝑝)] 17. Demostrar que las bicondicionales son equivalencias lógicas:
d) ~(𝑝˅~𝑞)˄(~𝑝˅𝑟) a) (𝑝 → 𝑞) ↔ (~𝑝)˅𝑞
e) ~[𝑝˄(~𝑞 → 𝑝)]˄[~(𝑝 ↔ ~𝑞) → (𝑞˅~𝑝)] b) (𝑝 ↔ 𝑞) ↔ (𝑝 → 𝑞)˄(𝑞 → 𝑝)
c) (𝑝˄𝑞)˅𝑝 ↔ 𝑞
6. Deducir el valor de verdad de: d) (𝑝˅𝑞)˄𝑝 ↔ 𝑝
a) (𝑝 → 𝑟) → [(𝑝˅𝑞)˄~𝑞] e) ~(𝑝 → 𝑞) ↔ (𝑝˄~𝑞)
b) (~𝑝˄~𝑞)˅~𝑞
c) [(~𝑟˅𝑞)˄𝑞] ↔ [(~𝑞˅𝑟)˄𝑠] 18. Sean las siguientes proposiciones, hallar el valor de verdad.

7. Por medio de una tabla de valores, establecer, si cada una de los a) (∀𝑥 ∈ 𝑅/|𝑥| = 𝑥)˄ (∃𝑥 ∈ 𝑅/𝑥 + 1 𝑥)
siguientes esquemas moleculares es tautología, contingencia o b) 2
(~∃𝑥 ∈ 𝑅/𝑥 ≠ 𝑥 − 1)˅(~∀𝑥 ∈ 𝑍/𝑥 + 1 ≠ 𝑥 − 1)
contradicción. c) (~∀𝑥 ∈ 𝑁/|𝑥| ≠ 0) → (~∃𝑥 ∈ 𝑄|𝑥| ≠ 0)
a) ~[~p → ~(~𝑞˄~𝑝)]˅~(~𝑝˅~𝑞)
b) [(𝑝˅~𝑞)˄~𝑝]˄(~𝑞 → 𝑝) 19. ¿Cuáles son equivalencias lógicas?
c) ~(𝑝 → 𝑞) ↔ ~(~𝑞 → ~𝑝) a) ~(𝑞 → ~𝑝) ↔ (𝑞˅𝑝)
b) [(~𝑝˄~𝑞)˅~𝑞] ↔ [(𝑝˅𝑞)˄𝑞]
d) [𝑝 → (𝑞 → 𝑟)] ↔ [(𝑝˄~𝑟) → ~𝑞]
e) [𝑝˄(~𝑞 → 𝑝)]˄~[(𝑝 → ~𝑞) → (𝑞˅~𝑝)] c) ~(𝑝 → 𝑞) ↔ [(𝑝˅𝑞)˄~𝑞]

8. Determinar la validez del esquema: 20. Sea U el conjunto universal y p, q ,r las proposiciones:
𝑈 = {−10, −9, … … ,80}, 𝑈 ∈ 𝑍(𝑛ù𝑛𝑒𝑟𝑜𝑠 𝑒𝑛𝑡𝑒𝑟𝑜𝑠)
~[~(~𝑝˄~𝑞) → ~(𝑝˅𝑞)] ↔ [~(~𝑝˅𝑞) ]
𝑝: {∀𝑥 ∈ 𝑈, ∃𝑦 ∈ 𝑈/𝑥 − 𝑥 2 < −2𝑦}
9. Simplificar las siguientes proposiciones: 𝑞: {∃𝑦 ∈ 𝑈, ∀𝑥 ∈ 𝑈/𝑥 − 5𝑦 < 3𝑥 − 𝑦}
a) {[(~𝑞) → (~𝑞)] → [(~𝑝) → (~𝑞)]} ↔ ~(𝑝˄𝑞) 𝑟: {∀𝑧 ∈ 𝑈, ∃𝑦 ∈ 𝑈, ∃𝑥 ∈ 𝑈/𝑥 2 + 𝑦 2 < 𝑧 2 }
b) [(𝑝 → 𝑞)˅~𝑝]˄(~𝑞 → 𝑝) Evaluar: (~𝑝˅𝑟) ↔ (𝑝˄~𝑞)
c) ~{[~(~𝑝˄𝑞)˅~𝑞] → [~(𝑝˅~𝑞)]}
d) (~𝑝˅~𝑞)˄[~𝑝˄(𝑞 → 𝑝)] 21. Determinar el valor de verdad de cada proposición:
e) [(𝑝 → 𝑞) → (𝑝˄𝑞)]˅(𝑝˄𝑟) a) {∃𝑥 ∈ 𝑍/𝑥 2 = 𝑥}
f) ~[~(𝑝˄𝑞) → ~𝑞]˅𝑝 b) {∀𝑥 ∈ 𝑍/𝑥 − 7 < 𝑥}
g) [(~𝑝˄𝑞) → (𝑞 → 𝑝)]˄𝑝 c) {∀𝑥 ∈ 𝑍/𝑥 2 ≥ 𝑥}
22. Cuáles de las siguientes proposiciones son verdaderas o falsas. 28. Verificar la validez de los siguientes argumentos:
Si 𝑈 = {1, 2, 3} es el universo y si 𝑥, 𝑦, 𝑧 ∈ 𝑈.
a) ∃𝑥, ∃𝑦/𝑥 2 < 𝑦 + 1 a) Si gana Gloria o Héctor, entonces pierden tanto Jorge como
b) ∀𝑥, ∃𝑦/𝑥 2 + 𝑦 2 < 12 Kelly. Gloria gana. Por lo tanto, pierde Jorge.
c) ∀𝑥, ∀𝑦/𝑥 2 + 𝑦 2 < 12
d) ∃𝑥, ∃𝑦, ∀𝑧/𝑥 2 + 𝑦 2 ≤ 2𝑧 2
b) Si no ocurre, que si un objeto flota en el agua
e) ∃𝑥, ∀𝑦, ∃𝑧/𝑥 2 + 𝑦 2 ≤ 2𝑧 2 entonces es menos denso que el agua, entonces
se puede caminar sobre el agua. Pero no se puede
23. Sean 𝐴 = {1, 2, 3, 4}, 𝐵 = {1, 4 ,5, 8} ¿Cuáles de las
siguientes afirmaciones son verdaderas? caminar sobre el agua. Si un objeto es menos
a) ∃𝑥, 𝑦 ∈ 𝐴/𝑥 + 𝑦 > 𝑧, ∀𝑧 ∈ 𝐵 denso que el agua, entonces puede desplazar una
b) ~[∀𝑥 ∈ 𝐴, ∃𝑦 ∈ 𝐵/𝑥 > 𝑦] cantidad de agua igual a su propio peso.
c) ∀𝑥 ∈ 𝐵, ∃𝑦 ∈ 𝐴/𝑥 − 𝑦 ∈ 𝐴
c) Si un hombre se orienta siempre por su sentido del deber,
d) ∀𝑥 ∈ 𝐴, ∀𝑦 ∈ 𝐵/𝑥 + 𝑦 < 10
tiene que renunciar al goce de muchos placeres, y si se guía
24. Negar las siguientes proposiciones: siempre por su deseo de placer, a menudo olvidara su deber.
a) ∀𝑥 ∈ 𝑍/𝑥 + 1 > 𝑥 O bien un hombre se guía siempre por su sentido del deber, o
b) ∃𝑥 ∈ 𝑍/𝑥 2 + 1 = 0 bien siempre se orienta por su deseo de placer. Si un hombre
c) ∃𝑥 ∈ 𝑍/𝑥 2 = 𝑥 se guía siempre por su sentido del deber, no descuidara a
d) ∀𝑥 ∈ 𝑍/𝑥 2 − 1 > 0 menudo su deber, y si siempre se guía por su deseo de
placer, no renunciara al goce de muchos placeres. Luego, un
25. Negar las siguientes proposiciones: hombre debe renunciar al goce de muchos placeres si y solo
a) ∃𝑥/𝑥 + 7 < 𝑦 si no descuida a menudo su deber.
b) (∀𝑥/𝑝(𝑥))˄(∃𝑦/𝑞(𝑦))
29. Simplificar los siguientes circuitos lógicos
c) (∃𝑥/𝑝(𝑥)) → (∀𝑦/~𝑝(𝑦))
d) (𝑝˅~𝑞) → (𝑝˄~𝑟)
e) ∃𝑥/𝑞(𝑥): 5𝑥 + 7 < 10
f) ∃𝑥/5𝑥 + 8 < 4
26. Si x puede ser cualquier número natural, determine el valor de
verdad de las proposiciones:
𝑝: (∀𝑥)(𝑥 2 > 𝑥) → (∀𝑥)(𝑥 < 3𝑥)
𝑞: (∀𝑥)(𝑥 2 > 𝑥) → (∃𝑥)(𝑥 = 𝑥)
𝑟: (∃𝑥)(𝑥 + 3 = 5) ↔ (∀𝑥)(𝑥 + 1 ≥ 𝑥)
27. Verifique la validez de los siguientes argumentos:
a) 𝒑˄𝒒
~𝒑 → 𝒒
-----------------
∴ ~𝒒

b) (𝒑˄𝒒) → (𝒓˄𝒔)
(~𝒒)˅(~𝒔)
--------------------------
∴ (~𝒑)˅(~𝒒)

c) 𝒑˄(𝒑˅𝒒)
𝒑˅𝒒 → 𝒓
𝒓→𝒔
---------------------
∴𝒔

d) 𝒓 → ~𝒒
𝒑→𝒒
~𝒓 → 𝒔
_______________
∴𝒑→𝒔

e) (𝒑˅~𝒒)
𝒓 → ~𝒑
𝒔↔𝒑
____________
∴ 𝒑˅(𝒒 → ~𝒓)

f) (𝒑 → 𝒒)˄(𝒓 → 𝒔)
𝒑˅𝒓
____________
∴ 𝒒˅𝒔