UNIVERSIDAD NACIONAL MAYOR DE SAN

MARCOS
Universidad del Perú. Decana de América)
FACULTAD DE CIENCIAS FÍSICAS.-ESTUDIOS GENERALES

MATEMÁTICA BÁSICA

PRÁCTICA Nº 1

I.- Determinar cuáles de los siguientes enunciados es una proposición.

1. César Vallejo escribió “Los Heraldos Negros”.

2. Cualquier número elevado a una potencia par es positivo.
3. ¡Qué bello atardecer al pie del Huascarán!
4. Miguel Grau murió en el combate de Angamos.
5. ¿Quién fue el primer presidente del Perú?
6. La inflación en el Perú durante el primer gobierno del APRA fue mayor que la
actual inflación de Venezuela.
7. El nuevo sol que conocemos representa un millón de soles del año 1984.
8. Debemos conocer la Historia para no dejarnos engañar.
9. ¿Cuál fue el gobierno más corrupto del Perú en el siglo XX?
10. La UNMSM es la más antigua de América, por eso se le llama la Decana de
América.
11. El pensamiento de José Carlos Mariátegui sigue vigente en el Perú.

Representar simbolicamente las siguientes proposiciones

1. Alicia Maguiña fue una excelente cantante, además era compositora.

2. Estela es hija del Premiere, aún así demuestra sencillez en su trato.
3. Isabel es inteligente, perseverante, justa, por lo tanto tendrá éxitos.
4. Luis es periodista e Ingeniero pero no ejerce ninguna de sus profesiones.
5. Aumenta el desempleo cada vez que cierra una fábrica.
6. Bajan los salarios porque hay muchos desocupados.
7. Miguel no estaba en casa sin embargo su hijo me atendió con amabilidad.
8. Si hay desempleo entonces baja la calidad de vida de los trabajadores.
9. No es cierto que si aumenta el ingreso per cápita mejora la calidad de vida de la
población.
10. No es verdad que el neoliberalismo resuelva el problema del desempleo, lo
ahonda.

II.- Hacer un uso correcto de los conectivos lógicos y responder lo que se pide.

1.- Si p, q son proposiciones verdaderas pero r y s son falsas. Hallar el valor de verdad de:
 a) [r  (p  s) → q] →( ~ q )

b) [~ (q → (r  p))  s]  [(p  q) → s]

c) [~ r  p  q) → (s  ~q)  r]  s

2.- Si p, q son verdaderas, ¿para qué valor de r las siguientes proposiciones son falsas?

a) (p → r) → (q → ~r)
b) (~r ˅ ~q) → (p → r)

3) Si la proposición (p → ~ q)  ( ~ r → s) es falsa, hallar el valor de verdad de:

a. (p → q) → ((p  q)  ~ q)
b. (~ r  q)  [ (~ q  r)  s]
c. (~p  q)  ~ q

III.- Demostrar las equivalencias siguientes, indicando las leyes utilizadas:

1.
a. (p  q)  ~ q  p  ~ q
b. p → q  (p  q)  q
c. p  q  ~{~ [(p  q)  ( ~ p  ~ q)]}

2.- ¿Cuál de las siguientes proposiciones es una tautología?

a) (p → r)  ~ [(~p  ~r) → ~ s]
b) [~p  ~ (q  r)]  [( ~p  q)  ~ (p  r)]
c) [(p  ~s)]  s
d) [ (~ p  q)  q] → p
e) [(p → q)  (q → r)] → (p → r)
f) (p  q)   [(q → p)  (q  s)  ~ p]

3.- Simplificar

a) [~(p → q)  p  ~ q]  [(p  q)  ~ p  r]
b) (p  q  ~ r)  (p  ~ q  ~ r)  ( ~ p  q  ~ r)  ( ~ p  ~ q  ~ r)
c) [~ ( q → p) → ( ~ p → ~ q)]  ~ (p  q)
d) [(~p  r)  (p  q)] → ( ~ p  r)

4.- Sean p, q, r, s proposiciones simples. Use las reglas de sustitución para determinar si
las siguientes proposiciones son equivalentes

a) P1: [(p  q)  q → ~ q]
P2: (p  q)  s

b) P1: [((pq  ) → r)  (r → s)] → [(p  q) → s]

P2: [((p  q)  ~r)  (~r  s)]  [(~p  ~ q)  s]

IV.- Determinar la regla de inferencia que se aplica a los siguientes argumentos para
obtener un argumento válido:
 1. Si resuelve el balotario entonces dará un buen examen . No dio un buen
examen.
2. Si Julio vende todas las tarjetas y María trae la orquesta, entonces el éxito de la
fiesta está asegurado. La fiesta fracasó.
3. Si compra esa bicicleta entonces pagará su IGV. No pagó su IGV.
4. Si me pongo la chaqueta entonces me he puesto primero la camisa. Me pongo la
chaqueta.
5. Si Elsa va al teatro o al cine tiene que salir de su casa antes de la 5 pm. Elsa está
en su casa a las 5.30 pm.
6. Si Juan es matemático y físico entonces sabe quienes son David Hilbert y
Richard Feyman. Juan es matemático y físico.

V.-Usando las reglas de inferencia demostrar:

Demostrar: q ˄ u Demostrar: q Demostrar: ~ p

P1: p→ q P1 : p→ (q ~s) P1 :p → (~q ˅ r)

P2: r→ (s ˅ p) P2 : t P2 : u→ ~ r
P3: s→t P3 : r ˄ s P3 : t ˄ s ˄ q
P4 : ~t ˄ u P4 : t → (p ˅ u)
P5 : r P5 : u → ~s

Demostrar: ~q ˅ t Demostrar: ~r Demostrar: ~ t ˄ s

P1 : p → (q→ r) P1 : p P1 : p
P2 : ~p →s P2 :p → ~q ˄ t P2 : t → ~p
P3 : ~ (r ˅ s) P3 : t → ~(r ˄ p) P3 : ~s →t

Demostrar: x ≠ 0 Demostra: x ≠ y Demostrar: x = 0

P1 : x = y → x = z P1 x = y → x = z P1 : x 0→ y= 1
P2 : x = z → x = 1 P2 x = z → y = w P2 :x = y → y = w
P3 : x = 0 → x ≠ 1 P3 :y = w → y= 1 P3 :y = w → y ≠ 1
P4 :x = y P4 : y ≠ 1 P4 : x= y

Demostrar: y ≠ 5 Demostrar: y > z

P1 : x = y → x≠ y + 3 P1 : x = y → x = z
P2 : x = y + 3 ˅ x+2= y P2 : x≠y → x< z
P3 : x+2 ≠ y ˄ x = 5 P3 : x ≥ z ˅ y > z
P4 : x ≠ z ˄ y ≠ z
Demostrar: x < 3
P1 : x+2 5→x= 4
P2 : x= 4 → x+ 4 ≥7
P3 : x+4<7
P4: x+2>5˅(5−x>2˅x<3)

V. Determinar la verdad o falsedad de las siguientes proposiciones cuantificadas.

1.- Sea x un número real y las proposiciones abiertas

p(x): x ≥ 0 q(x): x2 ≥ 0 r(x): x2 -4x 5 = 0 s(x): x2 -3 > 0
 a) ∀x[p(x) ˄ r(x)]

b) ∀x[q(x) → r(x)]

c) ∀x[r(x) ˅ s(x)]

d) ∀x[r(x) → p(x)]

e) ∃x[r(x) → p(x)]

f) ∃x [p(x) → s(x)]

g) ∀x[r(x) ˄ q(x)]

h) ∃x[r(x) ˄ s(x)]

2.- Sean p(x,y): x+ 1> y q(x,y): x + y ≥ 0 r(x,y): y = | x |

a) ∀x∀y[q(x,y) → p(x,y)]

b) ∀x∀y[ r(x,y) → q(x,y)]

c) ∀x∃y[r(x,y) ˄ p(x,y)]

d) ∃x∃y[p(x,y) → q(x,y)]

e) ∃x∀y q(x,y)

f) ∀x∀y[ r(x,y) ˅ q(x,y)]

3.- Negar todas las proposiciones cuantificadas dadas en 1) y 2)

4.- Dados los números reales x0, L,ɛ,δ y la proposición f(x), negar la proposición siguiente:
∀ ɛ >0 ∃ δ >0 ⁄ 0 < | x -x0 | < δ →| f(x) -L | < ɛ.

C. U 20 de Abril del 2023