UNIVERSIDAD NACIONAL DE INGENIERIA

Facultad de Ingeniería Industrial y de Sistemas

DEPARTAMENTO DE CIENCIAS BÁSICAS

CURSO : CALCULO DIFERENCIAL CICLO : 2021 - I

CODIGO : BMA01
A. HUAMAN, O. BERMEO, R. VASQUEZ
DOCENTE : J. CERNADES, V. MONCADA FECHA : 28.04.21

PRÁCTICA CALIFICADA N° 1

1.- a) Simplificar la siguiente expresión: ~𝑁 → 𝑀

Si 𝑀 ≡ {[(𝑝 ∨ 𝑞) → (~𝑝 ∧ 𝑞)] → [((𝑝 ∧ 𝑞) ∨ 𝑟) ∧ (∼ 𝑞)]} ∧ {𝑝 ∧ [(𝑟 ∨ 𝑝) ∧ (𝑠 ∨ 𝑝)]}

𝑁 ≡ [(𝑝 → 𝑞) → 𝑞] → (𝑝 ∨ 𝑞).

b) Si la proposición
{[(𝑟 ∨ 𝑠) → 𝑡] ∆ (𝑝 ∨ 𝑞)} ∧ {∼ {[(𝑟∆𝑡) ∧ 𝑠] → (~𝑞 ∧∼ 𝑝)}}

es verdadera, hallar el valor de verdad de:

I.-{[(𝑝 ∨ 𝑞) → 𝑟] ∆ (𝑡 → 𝑝)} ∆ 𝑟
II.- [(𝑟 → 𝑠) ∨ ∼ 𝑡] → ~(𝑝 ∨ 𝑞)
III.- ~(𝑝 ∨ 𝑞) ∧ (𝑡 → ~𝑠)
2.-Usando elementos demostrar que:

a) (𝐴 ∩ 𝐵) − (𝐴 ∩ 𝐶 𝐶 ) = 𝐴 ∩ (𝐵 − 𝐶 𝐶 )

b) ∃ 𝐵 ⊂ 𝑈, ∀𝐴 ⊂ 𝑈, 𝐵 ⊂ 𝐴 ⊂ 𝐵𝐶 , donde 𝑈 conjunto universal.

3.-a) Usando propiedades de conjuntos demostrar que:

Si (𝐴 ∪ 𝐵 ∪ 𝐶 ) − (𝐴 ∩ 𝐵 ∩ 𝐶 ) = (𝐴∆𝐵) ∪ (𝐵∆𝐶 )
b) Sean 𝐴, 𝐵, 𝐶 conjuntos no vacíos diferentes dos a dos tales que:
𝐵𝐶 ⊂ 𝐴𝐶 ; 𝐶 ∩ 𝐵𝐶 = ∅; 𝐴 ∩ 𝐶 𝐶 = ∅
Simplificar [𝐵 ∩ (𝐶 − 𝐴)] ∩ [𝐴 ∩ (𝐵 − 𝐶 )]