UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS

Ingeniería Metalúrgica
Álgebra y Geometría Analítica
Semestre: 2022-I

Tema: Nociones de Lógica, Leyes lógicas y Cuantificadores

GUÍA DE PRÁCTICA Nº1

1) Indique cuales de los siguientes enunciados en una proposición y exprese simbólicamente luego
de identificarlos correctamente
a) La inflación del Perú en el año 2011 fue menor al 3%.
b) Toda ecuación cuadrática tiene dos soluciones reales
c) Hoy estudio para el examen de Matemática y escucho música instrumental.
d) Si el precio del producto es mayor al precio de equilibrio, entonces hay exceso de oferta
e) Electricidad es parte de la física que estudia las corrientes marinas.
f) Marco y su familia viajarán a la selva por fiestas patrias.
g) El decano de la facultad.
h) El clima es agradable en primavera.
i) Pedro estudiará maestría cuando y solamente cuando obtenga su grado de bachiller.
2) Describa formalmente la siguiente proposición
a) Si hay verdadera democracia, entonces no hay detenciones arbitrarias ni otras violaciones de
los derechos civiles
b) Si José va a trabajar tarde entonces le pagaran menos, y si no va a trabajar tarde le pagaran
más. Por tanto, si va a trabajar tarde o no, le pagarán menos o más.
3) Simbolizar y analizar el valor de verdad del enunciado.
Si Cubillas entrena al Alianza entonces Alianza campeonará, además, si Cubillas entrena al
Alianza y Alianza campeona Cubilla entrenará a la Selección, y si Cubillas entrena a la Selección
entonces Perú irá al Mundial. En consecuencia, si Cubillas entrena al Alianza entonces Perú irá al
Mundial.
4) En los ejercicios siguientes, se pide construir la tabla de verdad de cada una de las proposiciones
compuestas:
a)(𝑝 → ~𝑞) ∨ (~𝑝 ∨ 𝑟) b)(𝑝 → 𝑞) → [(𝑝 ∨ ~𝑞) → (𝑝 ∧ 𝑞)]
c) [(𝑝 ∨ 𝑞) ∧ 𝑟] → (𝑝 ∧ ~𝑞) d) (𝑝 → 𝑞) → [𝑝 → (~𝑝 ∧ 𝑞)]
5) En los siguientes ejercicios se pide determinar el valor de verdad de la proposición compuesta
[(~𝑝 ∧ 𝑞) ∨ (𝑝 ∨ 𝑟)] → [(𝑝 ∨ ~𝑞) ∨ (𝑝 ∨ ~𝑟)] para los valores de verdad de las proposiciones
simples:
( a) p F , q F ,r F (b) p  F , q  F , r V
(c) p V , q  F , r V ( d ) p V , q V , r  F
( e) p V , q V , r V
6) Determinar los valores de verdad de p , q , r de manera que la proposición
(𝑝 ∧∼ 𝑞) → [𝑟 ∨ (𝑝 ↔ 𝑞)] sea falsa.
7) Tenemos tres variables proposicionales p, q y r, donde V ( p ) = V , V ( q ) = F ,V ( r ) =V . Halle el
valor de verdad de los siguientes esquemas moleculares:
a) 𝑟 → (𝑞 ∨ 𝑝) b) ~(𝑝 ∧ 𝑟) △ (𝑞 → ~𝑝)

Pág. 1
 c) ~𝑞 → (~𝑝 ∨ 𝑟) d) ~(𝑝 ∧ ~𝑞) → (~𝑟 ∧ 𝑝)
8) Niegue la siguiente proposición: “Es de día y toda la gente se ha levantado”
9) Determine si cada una de las siguientes proposiciones es Tautología, Contradicción o
Contingencia
a) ~(𝑝 ∧ 𝑞) ∨ 𝑟 b) 𝑞 ↔ (~𝑝 ∨ 𝑞)
10) Simplificar las siguientes proposiciones:
a) ~(𝑝 ∨ 𝑞) ∨ (~𝑝 ∧ 𝑞) b) [(~𝑝 ∧ 𝑞) → (~𝑟 ∧ 𝑟)] ∧ ~𝑞
c) [(𝑝 → 𝑝) ∨ 𝑞] ∧ [~𝑞 ∨ (𝑟 ∧ 𝑞)] ∧ [𝑝 → (𝑝 ∨ ~𝑞)] d) (𝑝 ∧ ~𝑞) ∨ (~𝑝 ∧ 𝑞)
d) ~[~(𝑝 → ~𝑞) ∧ 𝑝 ∧ ~𝑞] ∧ [(𝑝 ∧ 𝑞) ∨ ~𝑝 ∨ 𝑟] e) 𝑝 ∧ {𝑝 → [𝑞 ∧ (𝑞 → 𝑟)]}
f)[(~𝑝 ∧ 𝑝) ∨ (𝑝 ∧ 𝑞) ∨ (~𝑝 ∧ ~𝑞) ∨ (~𝑞 ∧ 𝑞)] ∧ 𝑞 g)(𝑞 ∨ 𝑟) ∨ {[(𝑝 ∧ 𝑞) ∨ 𝑟] ∧ [𝑟 ∨ ~𝑞]}
11) La proposición ~(𝑝 → 𝑞) ∧ (𝑞 → ~𝑟) ¿A cuál de las siguientes proposiciones es equivalente?
a) 𝑝 ∧ (𝑝 ∨ ~𝑟) ∧ (~𝑞) b) 𝑝 ∧ ~𝑞 ∧ ~(𝑟 ∧ 𝑞) c) (~𝑝 ∧ 𝑞) ∨ [(~𝑟 ∧ 𝑝) ∧ 𝑞]
12) Halle un contraejemplo para las siguientes proposiciones, siendo 𝐵 = {2,3, … 8,9}
a)∀𝑥 ∈ 𝐵, 𝑥 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑝𝑟𝑖𝑚𝑜 b)∀𝑥 ∈ 𝐵, 𝑥 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑝𝑎𝑟
13) Niegue las siguientes proposiciones:
a) ∃𝑦∀𝑥: 𝑝(𝑥) ∧ [𝑝(𝑥) → 𝑞(𝑦)] b) ∃𝑥∃𝑦∃𝑧: 𝑝(𝑥, 𝑦, 𝑧)
c) ∃𝑥∃𝑦[𝑝(𝑥) ∧ 𝑞(𝑦)] d) ∃𝑥, ∃𝑦[𝑝(𝑥) ∧ ~𝑞(𝑦)]
14) Verifique que la negación de:
a) ∀𝑦∀𝑥∃𝑥(𝑥 + 𝑦 = 𝑧) es ∃𝑦∃𝑥∀𝑥(𝑥 + 𝑦 ≠ 𝑧)
b) ∃𝑦∀𝑥[(𝑥𝑦 ≤ 2)] es ∀𝑦∃𝑥[(𝑥𝑦 > 2)]
c) ∀𝑥[𝑝(𝑥) ∨ 𝑞(𝑥)] es ∃𝑥[~𝑝(𝑥) ∧ 𝑞(𝑥)]
d) ∀𝑥∃𝑦[𝑝(𝑥) ∧ 𝑦 ≤ 𝑥] es ∃𝑥∀𝑦[~𝑝(𝑥) ∨ 𝑦 > 𝑥]
15) Escribe simbólicamente la proposición si 𝑝: “Para cada entero n, si n es par entonces 𝑛2 + 19
es primo”
16) Traduce a lenguaje simbólico y determina los valores de verdad de las proposiciones
cuantificadas, si supones que el universo son los números enteros:
a) “Al menos un entero es par” b) “Si x es par entonces no es divisible entre 5”
c) “Ningún entero par es divisible entre 5” d) “Cualquier par es divisible entre 4”
17) Escriba la negación de las expresiones
a) 𝑝 : “ Existen números enteros pares que son divisibles entre 3”
b) 𝑝: “Existen x enteros tales que x es par y x es divisible entre 3”
18) En el universo de los números enteros, considere las proposiciones abiertas
p(x): x2 – 8x + 15 = 0 q(x): x es impar. r(x): x > 0.
Determina si son verdaderas o falsas las siguientes proposiciones.
a) x [ p(x) → q(x)] b)  x [ q(x) → p(x)]
c) x [~ r(x)  p(x)] d) x [p(x) → ~ r(x)]
19) Si U={1,2,3}. Analiza la validez de cada uno de los enunciados
a)∃𝑥 ∈ 𝑈, ∀𝑦 ∈ 𝑈: 𝑥 2 < 𝑦 + 1 b)∀𝑥 ∈ 𝑈, ∃𝑦 ∈ 𝑈: 𝑥 2 + 𝑦 2 < 12
c) ∀𝑦 ∈ 𝑈, ∃𝑥 ∈ 𝑈, ∃𝑧 ∈ 𝑈: 𝑥 2 + 𝑦 2 < 2 𝑦𝑧 2
20) Si U={-2,-1,0,1,2}. Analiza la validez de las proposiciones
a)∃𝑥 ∈ 𝑈, ∀𝑦 ∈ 𝑈: 𝑥 + 𝑦 = 𝑥 b)∀ 𝑥 ∈ 𝑈, ∃ 𝑦 ∈ 𝑈: 𝑥 + 𝑦 = 𝑥 c) ∀ 𝑥 ∈ 𝑈, ∃ 𝑦 ∈ 𝑈: 𝑥 + 𝑦 = 0

21) Demuestre lo siguiente

a) Si 𝑎2 es par entonces 𝑎 es par. Sugerencia utilice el de Reducción al absurdo
b) Si 𝑛 es impar entonces 𝑛3 es impar.
c) Si 𝑛 es impar entonces 𝑛2 + 3𝑛 + 5 es impar.
d) Probar que si 𝑎 es un número impar, entonces 𝑎2 es impar

Pág. 2
 e) Si 𝑚 + 𝑛 es impar demuestre que 𝑚 o 𝑛 es impar.
f) Si 3𝑥 − 1 es par demuestre que 𝑥 es impar. Sugerencia utilice el método Directo o la
contrarrecíproca.
g) Si 𝑎, 𝑏 son pares entonces 𝑎𝑏 es par
h) Si 𝑎, 𝑏 son impares entonces 𝑎𝑏 es impar

22) Demuestre que las siguientes afirmaciones son falsas, haciendo uso de un contraejemplo

a) Todo número primo es impar

b) Si 𝑛2 − 𝑛 es par entonces 𝑛 es par.

Pág. 3