UNIVERSIDAD NACIONAL DE SAN ANTONIO ABAD DEL CUSCO

PRIMER EXAMEN DE MATEMATICA I

ESCELA PROFESIONAL DE INGENIERIA CIVIL

1. Si:
𝐴 ≡ 𝑝 ↔∼ 𝑞
𝐵 ≡ [(𝑝 △∼ 𝑞) → 𝑟] ∧ [(𝑝 △∼ 𝑞) →∼ 𝑟]
𝐶 ≡∼ {[∼ 𝑠 → (∼ 𝑠 ∨ 𝑟)] → (∼ 𝑝 ↔∼ 𝑞)}

Determinar si:
𝐴 𝑒𝑠 𝑒𝑞𝑢𝑖𝑣𝑎𝑙𝑒𝑛𝑡𝑒 𝑎 𝐵
𝐵 𝑖𝑚𝑝𝑙𝑖𝑐𝑎 ∼ 𝐶
2. Dadas las siguientes proposiciones:
𝐴 ≡ 𝑝 ↔ ~(𝑞 ∧ 𝑟) , 𝐵 ≡ ~𝑝 ∆ ~𝑟 , 𝐶 ≡ ~(𝑝 ∧ 𝑞) ∨ ~𝑟
Determinar si:
a. 𝐴 implica 𝐵
b. 𝐵 es equivalente a 𝐶
3. (5 puntos) Sea 𝐴 la proposición lógica más simplificada del circuito lógico:

𝑝 ~𝑞

𝑞 ∼𝑝

~𝑝
𝑝
∼𝑝 𝑞

Y sea 𝐵 la proposición lógica más simple de la proposición: (~𝑝 ∧ ~𝑞) ∧ (𝑝 →∼ 𝑞)

Encontrar el valor de verdad de la proposición 𝐴 ↔ 𝐵.

4. Determinar la proposición mas simple de la proposicion (𝑝 ∗ 𝑞) ∧ (𝑝 →∼ 𝑞) donde

[(𝑝 ∗ 𝑞) → 𝑝] es equivalente a 𝑝 ↔ 𝑞.