Universidad Nacional Mayor De San Marcos

(Universidad del Perú, Decana de América)

FACULTAD DE LETRAS Y CIENCIAS HUMANAS

CURSO: Matemática Aplicada a las Ciencias Sociales y Humanas.

SEMESTRE: 2022-I
TEMA: Proposiciones equivalentes, leyes lógicas y cuantificadores.

Práctica nro 2
1. Si la proposición 𝑝 → (𝑞 ∨ 𝑟) es falsa, halle el valor de verdad
de 𝑝, 𝑞 y 𝑟.

2. Si la proposición (𝑝 ∧ ~𝑞) → 𝑟 es falsa, halle el valor de

verdad de 𝑝, 𝑞 y 𝑟.

3. Si la proposición ~[(𝑝 ∧ ~𝑟) → (𝑟 ∨ ~𝑞) ] es verdadera, halle

el valor de verdad de 𝑝, 𝑞 y 𝑟.

4. Si la proposición ~[(𝑞 → 𝑟) ∨ (𝑝 ∧ 𝑞) ] es verdadera, halle

el valor de verdad de 𝑝, 𝑞 y 𝑟.

5. Si la proposición [(~𝑝 ∧ 𝑞) → (~𝑠 → 𝑟) ] es falsa, halle el

valor de verdad de 𝑝, 𝑞, 𝑟 y 𝑠.

6. Si la proposición ~[(𝑝 ∧ 𝑞 ) → (𝑞 ↔ (𝑟 ∨ 𝑠))] es verdadera,

halle el valor de verdad de 𝑝, 𝑞, 𝑟 y 𝑠.

7. Si la proposición (𝑞 → ~𝑡 ), (~𝑟 ∧ 𝑞) son falsas, halle el valor

de verdad de [(𝑟 → 𝑡) ∧ ~(~𝑞 → (𝑟 ∨ 𝑡)) ]

8. Si la proposición (~𝑝 ∧ 𝑞) → [(𝑝 ∧ 𝑞) ∨ 𝑟 ] es falsa, halle el

valor de verdad de (~𝑞 ∨ 𝑟) ∨ [~𝑟 ∧ (𝑝 ∨ 𝑞))]

9. Si la proposición (~𝑝 → ~𝑞) ∨ (𝑟 ∆ 𝑞) es falsa, halle el valor

de verdad de ~𝑞 → [(𝑝 ↔ 𝑞) ∧ 𝑟 )]

10. Verifique si las siguientes proposiciones son equivalentes:

 a) ~(𝑞 → ~𝑝)

b) 𝑞 ∨ (~𝑞 ∧ 𝑝)

11. Verifique si las siguientes proposiciones son equivalentes:

a) (~𝑞 ∧ ~𝑝) ∨ ~𝑞

b) ~[(𝑝 ∨ 𝑞) ∧ 𝑞]

12. Verifique si las siguientes proposiciones son equivalentes:

a) ~[(𝑝 ∧ 𝑞) ∧ ~𝑟]

b) ~[(~𝑝 ∧ ~𝑞) ∧ (𝑝 ∨ 𝑞)]

13. Simplifique las siguientes proposiciones:

a) [(𝑝 ∨ ∼ 𝑞) ∧ 𝑞] → 𝑝

b) (~𝑝 ∨ ∼ 𝑞) ∧ [~𝑝 ∧ (𝑞 → 𝑝) ]

c) ~[~(𝑝 ∧ 𝑞) → ~𝑞] ∨ 𝑝

d) [(𝑝 → 𝑞) ∨ ~𝑝] ∧ (~𝑞 → 𝑝)

e) [(𝑝 ∧ 𝑞) ∨ (𝑝 ∧ ~𝑞)] ∨ (~𝑝 ∧ ~𝑞)

f) [(~𝑞 → ~𝑝) → (~𝑝 → ~𝑞)] ∧ ~(𝑝 ∧ 𝑞 )

g) [(~𝑞 → ~𝑞) → (~𝑝 → ~𝑞)] → ~(𝑝 ∧ 𝑞 )

h) [(~𝑝 ∧ 𝑞) → (~𝑟 ∧ 𝑟)] ∧ ~𝑞

14. Dar el valor de verdad a las siguientes proposiciones y luego
halle la negación de la proposición:

a) ∀ 𝑥 ∈ 𝑁 ∶ 𝑥 + 1 ≥ 1

b) ∃ 𝑥 ∈ 𝑍 ∶ 𝑥 2 + 1 = 0

c) ∃ 𝑥 ∈ 𝑁 ∶ 𝑥 2 = 𝑥

d) ∀ 𝑥 ∈ 𝑍 ∶ 𝑥 2 − 1 > −1

e) ∃ 𝑥 ∈ 𝑁 ∶ ~(𝑥 + 7 > 2)

f) ∃ 𝑥 ∈ 𝑍 ∶ ~(𝑥 + 3 = 𝑥 )

g) ∃ 𝑥 ∈ 𝑅 ∶ 𝑥 2 + 3𝑥 − 2 = 0

15. Dar el valor de verdad a las siguientes proposiciones y luego

halle la negación de la proposición:

a) (∀ 𝑥 ∈ 𝑍 ∶ |𝑥 | ≥ 𝑥 ) ∧ (∃ 𝑥 ∈ 𝑍 ∶ 𝑥 2 − 𝑥 = 0 )

b) (∃ 𝑥 ∈ 𝑁 ∶ |𝑥 | = 𝑥 ) ∨ (∀ 𝑥 ∈ 𝑍 ∶ 𝑥 + 1 ≠ 𝑥 − 1 )

c) (∀ 𝑥 ∈ 𝑍 ∶ 𝑥 2 ≥ 𝑥 ) → (∃ 𝑥 ∈ 𝑍 ∶ 𝑥 + 8 > −𝑥 )