UNIVERSIDAD NACIONAL TECNOLOGICA DE LIMA SUR

ESTUDIOS GENERALES

GUÍA N°: 2 ASIGNATURA: MATEMÁTICA BÁSICA CICLO: 2023 - I

Resolver:

1. Verifique la validez de los siguientes argumentos:

a. 𝑝 ∧ (𝑝 ∨ 𝑞) b. 𝑝 c. 𝑝 ∧ 𝑞
(𝑝 ∨ 𝑞) ⟶ 𝑟 (~𝑝 ∨∼ 𝑠) → (~𝑝 ∧ ~𝑟) ~𝑝 → 𝑞
𝑟⟶𝑠 ∴𝑠 ∴ ~𝑞
∴𝑠

2. Analizar los siguientes casos:

a. Dados tres proposiciones p, q, r simplificar la proposición

compuesta:
[(𝑝 ⟷ 𝑟) ∨ (∼ 𝑞 → ~𝑝)] ∧ [∼ (∼ 𝑝 → (~𝑟 ∧ 𝑞 )) ∨ (𝑟 ∨ 𝑝)]

b. Simplificar:

[~(~𝑝 → ~𝑞) ↔ ~(𝑝 ∨ 𝑞)] ∨ [𝑝 ⟶ (~𝑝 ∧ 𝑞 ∧ 𝑟)]

3. Usando uno de los métodos de demostración, verificar:

3.1. Sea n un entero, demuestre que si n2 es múltiplo de 7 entonces
n es múltiplo de 7.
3.2. Sea n un entero, demuestre que si n3 es múltiplo de 2 entonces
n es múltiplo de 2.

Docente: Equipo de Matemática.

4. Simplificar el siguiente circuito lógico:

5. Simplificar la siguiente proposición compuesta:

[(~𝑞 → ~𝑝) → (~𝑝 → ~𝑞 )] ∧∼ (𝑝 ∧ 𝑞 )

6. Si 𝑝 ↓ 𝑞 se define como (~𝑝 ∧∼ 𝑞) , indique entonces “ ~(𝑝 ⟷ 𝑞)”

a cuál de las siguientes proposiciones es equivalentes:

a. [~𝑝 ↓ 𝑞 ] ∨ (𝑞 ↓ 𝑝)

b. [~𝑝 ↓ 𝑞 ] ∨ (∼ 𝑞 ↓ 𝑝)

c. [~𝑝 ↓∼ 𝑞 ] ∨ (𝑝 ↓ 𝑞 )

7. Se define el conector # mediante la siguiente tabla de valores:

7.1. Demostrar usando equivalencias que:

(𝑝#𝑞 )#(𝑝#𝑞 ) ≡ (𝑝 ∨ 𝑞 )

Docente: Equipo de Matemática.

 7.2. Expresar la proposición 𝑝 → 𝑞 solo en términos del conectivo

# (ningún otro conector lógico).

8. Simplificar a su menor expresión los siguientes circuitos lógicos:

Además verifique si los circuitos son equivalentes.

Docente: Equipo de Matemática.

 9. Si:

𝐴: 𝑝 ⟷ ~𝑞

𝐵: [(𝑝∆~𝑞 ) → 𝑟] ∧ [(𝑝∆~𝑞 ) →∼ 𝑟]

𝐶: ∼ {[∼ 𝑠 → (~𝑠 ∨ 𝑟)] → (∼ 𝑝 ↔ ~𝑞 )}

- Simplificar mediante leyes y verificar si:

9.1. A y B son equivalentes

9.2. B y C son equivalentes

9.3. A y C son equivalentes

10. Sea el conjunto:

𝑨 = {𝑥 ∈ 𝑍0+ /𝑥 ≤ 8} el conjunto universal y sean 𝒑, 𝒒 𝑦 𝒓 las

proposiciones cuantificadas de la siguiente manera:

𝑝: ∃𝑥 ∈ 𝐴, ∀𝑦 ∈ 𝐴: 2𝑥 + 3𝑦 ≤ 𝑥 2

𝑞: ∃𝑥 ∈ 𝐴, ∀𝑦 ∈ 𝐴, ∃𝑧 ∈ 𝐴: 𝑥 + 2𝑧 − 4𝑦 > 𝑥 + 2𝑧

𝑟: ∀𝑥 ∈ 𝐴, ∀𝑦 ∈ 𝐴, ∃𝑧 ∈ 𝐴: 𝑥 − 2𝑦 < 𝑥 + 2𝑦 − 3𝑧

Hallar el valor de verdad de la siguiente proposición compuesta:

∼ [(𝑝 →∼ 𝑞 )∆(𝑞 →∼ 𝑟)] ↔∼ (𝑞 ∨∼ 𝑟)

Referencias Bibliográficas:

- Venero A. : Introducción al análisis matemático (1995)

- Lázaro M. : Lógica y Teoría de Conjuntos (2012)

Docente: Equipo de Matemática.