UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS

(Universidad del Perú, Decana de América)

FACULTAD DE INGENIERIA DE SISTEMAS E
INFORMÁTICA
(Álgebra y Geometría Analítica)
CICLO: 2022-I
GUÍA DE PRÁCTICA N° 01
Tema: Nociones de Lógica, Leyes lógicas y Cuantificadores

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 p d  p V , q V , r  F
e  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) ~(𝑝 𝖠 𝑟) △ (𝑞 → ~𝑝)
 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