UNIVERSIDAD NACIONAL DE EDUCACIÓN

Enrique Guzmán y Valle

ALMA MÁTER DEL MAGISTERIO NACIONAL

FACULTAD DE CIENCIAS

ESCUELA PROFESIONAL DE MATEMÁTICA E INFORMÁTICA

Tarea 3
Docente:
Mg. Hilda Beatriz Villafane Rodríguez

Presentado por
Oscar Guiobanni Guillen Albornoz

Lima – Perú
2022
1.- Dada las proposiciones:

p: El hombre es bueno. q:
El perro es fiel

Simbolizar:

“Si el hombre es malo entonces no es cierto que, el perro es fiel y su amo es bueno. Además si el hombre es bueno el
perro será fiel”. Identificar la respuesta.

a) [~ p  ~ (q  p )]  (p  q) b) ~[~p  ~ (q  p)]  r c) [~p  ~ (q  p)]  (p  q) d) [~p  ~ (q  p)

e) n.a.

2. Dadas las siguientes proposiciones:

p: “16 –8 < 10 (FALSO)
q: “370 es múltiplo de 5” (VERDADERO)
r: “14 > - 24” (VERDADERO)
s: “2+x=20, si x = 7” (FALSO)
 Hallar el valor de verdad de los siguientes esquemas moleculares:

a) ( p → ~ r ) ∧ ~ q
b) ~ [ ~ ( r ∨ ~ p ) ↔ q ]
c) [~ ( ~ p → ~ q) ∧ ~ r ] ∨ [ ( ~ r ∧ p ) → q ] ∧ ~ s
d) ~ {( p → ~ r ) ∨ [(~ r ∨ q ) ↔ (~ p ∧ q ) ]}

4. Representar los esquemas moleculares en circuitos eléctricos.

5. Hallar la tabla de verdad de los siguientes esquemas moleculares:

1. [~ (~ p → ~ q) ∧ ~ r ] ↔ [ ( ~ r ∧ p ) → q ]

p q r [~ (~ p → ~ q) ∧ ~ r ] ↔ [ ( ~ r ∧ p ) → q
]

V V V V F F V V
V V F V V V V V
V F V V F F V F
V F F V V V F F
F V V F F F V V
F V F F V F V V
F F V V F F V F
F F F V V F V F
2. ~ ( p → ~ r ) ∨ (~ r ∨ q ) ↔ (~ p ∧ q )
p q r ~ ( p → ~ r ) ∨ (~ r ∨ q ) ↔ (~ p ∧ q
)
V V V V F V F F F
V V F F V F F V F
V F V V F V F V V
V F F F V V V V V
F V V F V F F F V
F V F F V F F F V
F F V F V F F F V
F F F F V V V V V
3. (p → q) ↔ (~ p ∨ q)
p q ( p →q ) ↔( p ∨ q)
V V V V V
V F F V F
F V V V V
F F V V V

4. (p∨q) ↔ (q∨p)
p q (p∨q) ↔ ( q ∨ p)
V V V V V
V F V V V
F V V V V
F F F V F

5. (p∧ q) ↔ (q∧ p)
p q (p∧ q) ↔ (q∧ p)
V V V V V
V F F V F
F V F V F
F F F V F

6. (p ⟷ q) ↔ (q ⟷ p)
p q ( p ↔q ) ↔( q ↔ p)
V V V V V
V F F V F
F V F V F
F F V V V
7. [(p∧q)∧r] ↔ [p∧ (q∧r)]

p q r [(p∧q)∧r] ↔ [p∧ (q∧r)]

V V V V V V V V V V
V V F V F F V V F F
V F V F F V V V F F
V F F F F F V V F F
F V V F F V V F F V
F V F F F F V F F F
F F V F F V V F F F
F F F F F F V F F F

8. [p ∨ (q∧r)] ↔ [(p ∨q) ∧(p ∨r)]

p q r [p ∨ (q∧r)] ↔ [(p ∨q) ∧(p ∨r)]

V V V V V V V V V V
V V F V V F V V V V 9. (p ∧p) ↔ p

V F V V V F V V V V
p
V (Fp ∧Fp ) ↔Vp V F V V V V
V
F V V V VF VV V V V V V
V
F V V F VF F V F V V F F
FF F V V FF F F F V F F V
FF F V F FF F F F V F F F

10. ~ (p∨q) ↔ ( ~p ∧ ~q)

p q ~ (p∨q) ↔ ( ~p ∧ ~q)
V V F V F
V F F V F
F V F V F
F F V V V
6. 𝐩 → 𝐪: Carlos consiguió pasajes sin embargo no pudo viajar por tardón.
Expresar:

 ∼ 𝒑 → ∼ 𝒒: Carlos no consiguió pasajes sin embargo sí pudo viajar por tardón.

 𝒑 ← 𝒒: No pudo viajar por tardón sin embargo Carlos consiguió pasajes.

 ∼ 𝒒 → ∼ 𝒑: Si pudo viajar por tardón sin embargo Carlos no consiguió pasajes.