UNIVERSIDAD APEC

UNAPEC
FACULTAD DE CIENCIAS E INGENIERÍAS
ESCUELA DE MATEMÁTICA
MATEMÁTICA SUPERIOR PARA INGENIERÍAS
MAT 127
PRÁCTICA DE EQUIVALENCIA LÓGICA Y CUANTIFICADRES:
Nombre Oscar Alexander Thomas Dominguez ID A00113552
I Pruebe que las siguientes proposiciones son lógicamente equivalentes
utilizando la tabla de verdad:

1) [(p → q) ∧ (r → s)]↔ [(p ∨ r) → (q ∨ s)]

No son lógicamente equivalentes

p q r s p→q r→s p∨ q∨ (p → q) ∧ (r → s) (p ∨ r) → (q ∨ s)
r s

v v v v v v v v v v

v v v f v f v v f v

v v f v v v v v v v

v v f f v v v v v v

v f v v f v v v f v

v f v f f f v f f f

v f f v f v v v f v

v f f f f v v f f f

f v v v v v v v v v

f v v f v f v v f v

f v f v v v f v v v

f v f f v v f v v v

f f v v v v v v v v

f f v f v f v f f f

f f f v v v f v v v
f f f f v v f f v v

2) p → q↔ ∼ (p ∧ ∼q) → r
No son lógicamente equivalentes

p q r ∼q p → q p ∧ ∼q ∼ (p ∧ ∼q) (p ∧ ∼q) → r

V V V F V F V v

V V F F V F V F

V F V V F V F v

V F F V F V F v

F V V F V F V v

F V F F V F V f

F F V V V F V v

F F F V V F V F

3) p ∧ q↔ ∼ (∼p ∨ ∼q)
son lógicamente equivalentes

p q ∼p ∼q p∧q ∼p ∨ ∼q ∼ (∼p ∨ ∼q)

v v f f v f v

v f f v f v f

f v v f f v f

f f v v f v f
 4) (p → q) ∨ (p → r) ↔ p → (q ∨ r)
son lógicamente equivalentes

p q r p→q p→r q∨r (p → q) ∨ (p → p → (q ∨ r)

r)

v v v v v v v v

v v f v f v v v

v f v f v v v v

v f f f f f f f

f v v v v v v v

f v f v v v v v

f f v v v v v v

f f f v v f v v

5) (p → q) ∧ (r → s) ↔ (∼q ∨ ∼s) → (∼p ∨ ∼r)

son lógicamente equivalentes
P q r s ∼p ∼q ∼r ∼s p→q r→s ∼q ∨ ∼s ∼p ∨ ∼r (p → q) (∼q ∨ ∼s) →
∧ (r → s) (∼p ∨ ∼r)

v v v v f f f f v v f f v v

v v v f f f f v v f v f f f

v v f v f f v f v v f v v v

v v f f f f v v v v v v v v

v f v v f v f f f v v f f f

v f v f f v f v f f v f f f

v f f v f v v f f v v v f v

v f f f f v v v f v v v f v

f v v v v f f f v v f v v v

f v v f v f f v v f v v f v

f v f v v f v f v v f v v v
f v f f v f v v v v v v v v

f f v v v v f f v v v v v v

f f v f v v f v v f v v f v

f f f v v v v f v v v v v v

f f f f v v v v v v v v v v

II Escriba la recíproca, la contraria y la

contrarrecíproca de las proposiciones siguientes:
1) (p → q): Si Sandra termina su trabajo, entonces irá al
cine esta noche.
Recíproca:
La recíproca de p→q es q→p.
"Si Sandra va al cine esta noche, entonces ha terminado su trabajo."

Contraria:
La contraria de p→q es ∼p→∼q.
"Si Sandra no termina su trabajo, entonces no irá al cine esta noche."

Contrarrecíproca:
La contrarrecíproca de p→q es ∼q→∼p.
"Si Sandra no va al cine esta noche, entonces no ha terminado su
trabajo."

2) (p → q) Si hoy es lunes, entonces mañana es martes.

Recíproca:
La recíproca de p→q es q→p.
Recíprocamente, "Si mañana es martes, entonces hoy es lunes."

Contraria:
La contraria de p→q es ∼p→∼q.
"Si hoy no es lunes, entonces mañana no es martes."

Contrarrecíproca:
La contrarrecíproca de p→q es ∼q→∼p.
"Si mañana no es martes, entonces hoy no es lunes."
 3) (p → q) Si yo me levanto temprano, entonces llegaré
a tiempo al trabajo.
Recíproca:
La recíproca de p→q es q→p.
"Si llego a tiempo al trabajo, entonces me levanté temprano."

Contraria:
La contraria de p→q es ∼p→∼q.
"Si no me levanto temprano, entonces no llegaré a tiempo al trabajo."

Contrarrecíproca:
La contrarrecíproca de p→q es ∼q→∼p.
"Si no llego a tiempo al trabajo, entonces no me levanté temprano."

III Escriba tres proposiciones universales

Sea A ={1, 2, 3}
1.Ɐx∈ A: x² ≤ 28
Sea B ={3, 4, 5}
2. Ɐx∈ B: 3x - 8 ≤ 22
Sea C ={1,2,3,4,5}
3. Ɐx∈ C: 2x/2 + 8 ≤ 30

IV Escriba tres funciones existenciales

1. Sea A ={2, 12, 56, 5}
ꓱx∈ A: x² *3 ≤ 28
 2. ∃x∈R:x² =25

3. ∃x∈ N:x² - 9 = 0

V Sea A ={1, 2, 3, 4 5}; B = {-2, -1, 0, 1, 2} Escriba el

valor de verdad de las proposiciones siguientes:
1) Ɐx∈ A: 2x + 5 ≤ 15
Verdadero
2(1) + 5 = 7 ≤ 15 v
2(2) + 5 = 9 ≤ 15 v
2(3) + 5 = 11≤ 15 v
2(4) + 5 = 13≤ 15 v
2(5) + 5 = 15 ≤ 15 v

2) ꓱx∈ B/ x2+ 1∈ A
Verdadero
-22+ 1 = 5 v
-12+ 1 = 2 v
02+ 1 = 0 f
12+ 1 = 2 v
22+ 1 = 5 v

3) ꓱx∈ B/ x2 +2x +1 < 5

Verdadero
-22 +2(-2) +1 = 1 < 5 v
 -12 +2(-1) +1 = -0 <5 v
02 +2(0) +1= 1 < 5 v
12 +2(1) +1= 4 < 5 v
22 +2(2) +1 = 9 < 5 f

4) Ɐ𝑥 𝐴: Verdadero