PC1 CD Untels

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 2

UNIVERSIDAD NACIONAL TECNOLÓGICA DE LIMA SUR

CARRERA PROFESIONAL DE INGENIERIA ELECTRONICA TELECOMUNICACIONES

PRIMER EXAMEN CALIFICADO DE MATEMATICA BASICA

DOCENTE: LUCIO CACERES ESPINOZA

RECOMENDACIONES
• EL EXAMEN ES PERSONAL CUALQUIER COPIA SE ANULARÁ DICHO EXAMEN CON OTRO
COMPAÑERO SU NOTA SERA DE CERO
• LA PRUEBA ES DESARROLLADA CON LAPICERO
• EL EXAMEN COMIENZA A LAS 11:20 Y TERMINA A LAS 13:00
• LA SOLUCION DEL EXAMEN DEBE DE ORDENADA Y JUSTIFICADA

1. a) Dada la equivalencia: 𝐩 ∗ 𝐪 ≡ ~ [(𝐪 → ~𝐩) ∨∼ (∼ 𝐪 → ~𝐩)] simplificar:


𝐩 ∗ (𝐩 ∗ 𝐪) → [~𝐩 ∗ (~𝐩 ∨ 𝐪)]
b) Si 𝒑 ⊥ 𝒒 ≡ [(𝒑 𝖠 𝒒) ⟶ 𝒓] 𝖠 [𝒓 ⟶∼ (𝒑 𝖠 𝒒)] dibujar el circuito lógico más simple que
representa la siguiente proposición: [(∼ 𝒑 ⊥∼ 𝒑) ]

2. Sean las proposiciones 𝑨: 𝒑 ↔ ~𝒒 , 𝑩: [(𝒑∆~𝒒) → 𝒓] ∧ [(𝒑∆~𝒒) → ~𝒓] ,


𝑪: ~{[~𝒔 → (~𝒔 ∨ 𝒓)] → (~𝒑 ↔ ~𝒒)} , utilizando el algebra proposicional, demostrar si
son equivalentes las proposiciones A, B y C
3. Demostrar las siguientes proposiciones:
a) Demostrar utilizando el algebra proposicional que si la inferencia es válida o no:
[(𝒑 ⟶ 𝒒) 𝖠 (𝒒 → 𝒓)] ⟹ (𝒑 ⟶ 𝒓)
b) Sea 𝐀 = {𝟏, 𝟐, 𝟑} determinar el valor de verdad de las siguientes proposiciones:

I. 𝒑: ∃𝒙 ∈ 𝑨, ∀𝒚 ∈ 𝑨 ∕ 𝒙𝟐 < 𝒚 + 𝟏

II. 𝒒: ∀𝒙 ∈ 𝑨, ∃𝒚 ∈ 𝑨 ∕ 𝒙𝟐 + 𝒚𝟐 < 𝟏𝟐
4. Demuestre la validez del siguiente argumento utilizando el algebra proposicional y las
inferencias notables:
Si trabajo, no puedo estudiar
Estudio o apruebo matemáticas
Trabaje
-----------------------------------------------
∴ 𝑨𝒑𝒓𝒐𝒃𝒆 𝒎𝒂𝒕𝒆𝒎𝒂𝒕𝒊𝒄𝒂𝒔
5. a) Determinar por comprensión el siguiente conjunto: 𝑨 = {𝟑𝟔, 𝟒𝟓, 𝟓𝟒, 𝟔𝟑, 𝟕𝟐}
b) Demuestre la proposición: 𝑨 ⊂ 𝑩 ∧ 𝑩 ⊂ 𝑪 ⟹ 𝑨 ⊂ 𝑪
UNIVERSIDAD NACIONAL TECNOLÓGICA DE LIMA SUR

CARRERA PROFESIONAL DE INGENIERIA ELECTRONICA TELECOMUNICACIONES

PRIMER EXAMEN CALIFICADO DE MATEMATICA BASICA

DOCENTE: LUCIO CACERES ESPINOZA

También podría gustarte