Práctica N° 1: Lógica Proposicional

Apellidos y Nombres: Escuela: Grupo:

CUI: Email: Fecha:
1.Dadas proposiciones compuestas, indica los valores de verdad
I. (2𝑥1 = 2)˅(3𝑥2 = 6)
II. (3 < −3)˄(4 > 2)
III. (3 + 4 = 7) ⇒ (4𝑥0 = 1)
IV. (2° = 1) ↔ (02 = 0)
A. VVFF B. FVVF C. VFFV D. FFVV E.VFVF

2.Si la proposición compuesta (𝑝˄𝑞) → (𝑟˅𝑡) es falsa. Indica las

proposiciones que son verdaderas
A. 𝑝; 𝑞 B. p; t C. r; t D. 𝑞; 𝑡 E. 𝑝; 𝑟; 𝑡

3.Señala la expresión equivalente a la proposición (𝑝˅~𝑝)˄(~𝑞˅~𝑝)

Indica las proposiciones que son verdaderas
A.𝑞 → 𝑝 B. 𝑝 → 𝑞 C.~𝑝 D. ~𝑞 → 𝑝 E. (𝑝 → 𝑞) → ~𝑝
4.Determina el valor de verdad de cada uno de los siguientes proposiciones
I. Si 3 + 1 = 7, entonces 4 + 4 = 8
II. No es verdad que 2 + 2 = 5 si y sólo si 4 + 4 = 10
III. Madrid está en España o Londres está en Francia
A. VFV B. VVV C. VFF D. FVF E.FFF

5. Simplifica (𝑝 → 𝑞) →[(𝑝˄~𝑞)˅(𝑝˅𝑞)]
A. 𝑝 B. 𝑞 C. 𝑝˄𝑞 D. 𝑝˅𝑞 E.𝑝 → 𝑞
6. Si 𝑝□𝑞 ≡ ~𝑝˄𝑞
Reduce (𝑝□~𝑝) → [(𝑝□𝑞)□𝑞]
A. 𝑝˄𝑞 B. 𝑞 C. 𝑝 D. ~𝑝˅𝑞 E.𝑝 → 𝑞

7. Si el valor de la siguiente proposición: [(𝑝˄~𝑞)˄(𝑟 → 𝑞)]˄[(~𝑝˅𝑞) →

~𝑞] es verdadera, halla los valores de verdad de 𝑝, 𝑞 y 𝑟 en ese orden
A. VVF B. VVV C. VFF D. FVV E.FFV

8.Simplifica: ~[(~𝑝 → 𝑞) ↔ ~𝑝] → [𝑞 → (𝑝 → ~𝑞)]

A. 𝑝˄~𝑞 B. ~𝑝˅𝑝 C. ~(𝑝˄𝑞) D. 𝑝˄𝑞 E.~(𝑝˅𝑞)
9. Se tiene la siguiente equivalencia: 𝑝#𝑞 ≡ (~𝑝˅𝑞)˄(𝑞˅~𝑝)
Reduce la expresión: (𝑝#~𝑞)#~𝑝
A. 𝑝˅𝑞 B. 𝑞˄~𝑝 C. 𝑞˅~𝑝 D. 𝑝˅~𝑞 E.~𝑝˄~𝑞

10.Sabiendo que: (𝑝 → 𝑞)˅~𝑟 es falsa, (𝑠 ↔ 𝑝)Δ𝑟 es verdadera. ¿Cuáles

de las afirmaciones son correctas?
I.~(𝑝˅𝑠) ≡ 𝑉
II.(𝑠˄𝑡) ≡ 𝐹
II. (𝑞 → 𝑠) ≡ 𝑉
A. I y II B. I y III C. II y III D. sólo I E.todas
11.Simplifica: {~(𝑝˄𝑞)˄[~(𝑝˄𝑞)˅𝑟]}˄~𝑞
A. ~𝑝 B. ~𝑞 C. 𝑝˄𝑞 D. ~𝑝˄𝑞 E.𝑝˄~𝑞

12.Simplifica el siguiente circuito:

A. 𝑝˅𝑞 B. ~𝑝˅𝑞 C. 𝑝˄𝑞 D. ~𝑝˄𝑞 E.~𝑝˅~𝑞

13.Simplifica: 𝑀 = {(~𝑝˅𝑞) → (~𝑞˅𝑝)}˄~(𝑝˄𝑞)

A. 𝑞 B. 𝑝 C. ~𝑝 D. ~𝑞 E.~𝑝˅𝑞
14. Simplifica: ~[~(𝑝˄𝑞) → ~𝑞]˅𝑝
A. 𝑝 B. 𝑞 C. 𝑝˄𝑞 D. 𝑝 → 𝑞 E.𝑝˅𝑞

Respuestas:

1. C 2. A 3. E 4. A 5. D 6. C 7. C
8. C 9. C 10. C 11. B 12.D 13. D 14. E