UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS
ESCUELA DE ESTUDIOS GENERALES
ÁREA DE INGENIERÍA
Álgebra y Geometría Analítica
Semestre: 2020-II
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)( p → q ) ∨ ( p ∨ r ) b)( p →q ) → [ ( p∨ q ) → ( p ∧ q ) ]
c) [ ( p ∨q ) ∧r ] → ( p ∧ q ) d) ( p →q ) → [ p → ( p ∧q ) ]
5) En los siguientes ejercicios se pide determinar el valor de verdad de la proposición compuesta
[( p∧ q ) ∨ ( p ∨r ) ] → [( p ∨ q ) ∨ ( p ∨ r ) ] para los valores de verdad de las proposiciones simples:
6) Determinar los valores de verdad de de manera que la proposición
( p ∧∼q ) → [ r ∨ ( p ↔ q ) ]sea falsa.
7) Tenemos tres variables proposicionales p, q y r, donde . Halle el
valor de verdad de los siguientes esquemas moleculares:
Los profesores del curso Pág. 1
a)r → ( q ∨ p ) b) ( p ∧r ) △ ( q → p )
c) q → ( p ∨ r ) d) ( p ∧ q ) → ( r ∧ p )
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) ( p ∧q ) ∨r b) q ↔ ( p ∨ q )
10) Simplificar las siguientes proposiciones:
a) ( p ∨q ) ∨ ( p ∧q ) b) [ ( p∧ q ) → ( r ∧ r ) ] ∧ q
c) [ ( p → p ) ∨q ] ∧ [ q ∨ ( r ∧q ) ] ∧ [ p → ( p ∨ q ) ] d)( p ∧ q ) ∨ ( p ∧q )
d) [ ( p→ q ) ∧ p ∧ q ] ∧ [ ( p ∧ q ) ∨ p ∨r ] e) p ∧{ p → [ q ∧ ( q → r ) ] }
f)[ ( p∧ p ) ∨ ( p ∧ q ) ∨ ( p ∧ q ) ∨ ( q ∧ q ) ] ∧q g)( q ∨ r ) ∨ {[ ( p∧ q ) ∨r ] ∧ [ r ∨ q ] }
11) La proposición ( p →q ) ∧ ( q → r ) ¿A cuál de las siguientes proposiciones es equivalente?
a) p ∧ ( p ∨ r ) ∧ ( q ) b) p ∧ q ∧ ( r ∧ q ) c) ( p ∧q ) ∨ [ ( r ∧ p ) ∧q ]
12) Halle un contraejemplo para las siguientes proposiciones, siendo B={2,3 , …8,9 }
a) ∀ x ∈ B , x es un número primo b) ∀ x ∈ B , x es un número par
13) Niegue las siguientes proposiciones:
a) ∃ y ∀ x : p ( x ) ∧ [ p ( x ) → q ( y ) ] b) ∃ x ∃ y ∃ z : p ( x , y , z )
c)∃ x ∃ y [ p ( x ) ∧ q ( y ) ] d) ∃ x ,∃ y [ p ( x ) ∧ q ( y ) ]
14) Verifique que la negación de:
a) ∀ y ∀ x ∃ x ( x + y=z ) es ∃ y ∃ x ∀ x ( x + y ≠ z )
b) ∃ y ∀ x [ ( xy ≤ 2 ) ] es ∀ y ∃ x [ ( xy >2 ) ]
c) ∀ x [ p ( x ) ∨q ( x ) ] es ∃ x [ p ( x ) ∧ q ( x ) ]
d) ∀ x ∃ y [ p ( x ) ∧ y ≤ x ] es ∃ x ∀ y [ p ( x ) ∨ y > x ]
15) Escribe simbólicamente la proposición si p: “Para cada entero n, si n es par entonces n2 +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) p : “ Existen números enteros pares que son divisibles entre 3”
b) p: “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)∃ x ∈U , ∀ y ∈U : x 2 < y +1 b) ∀ x ∈U , ∃ y ∈U : x 2 + y 2< 12
c) ∀ y ∈ U ,∃ x ∈U , ∃ z ∈U : x 2+ y 2 <2 yz 2
20) Si U={-2,-1,0,1,2}. Analiza la validez de las proposiciones
a)∃ x ∈U , ∀ y ∈U : x + y=x b) ∀ x ∈U , ∃ y ∈U : x + y=x c) ∀ x ∈U , ∃ y ∈U : x + y=0
Los profesores del curso Pág. 2
21) Demuestre lo siguiente
a) Si a 2 es par entonces a es par. Sugerencia utilice el de Reducción al absurdo
b) Si n es impar entonces n3 es impar.
c) Si n es impar entonces n2 +3 n+5 es impar.
d) Probar que si a es un número impar, entonces a 2 es impar
e) Si m+n es impar demuestre que m o n es impar.
f) Si 3 x−1 es par demuestre que x es impar. Sugerencia utilice el método Directo o la
contrarrecíproca.
g) Si a , b son pares entonces ab es par
h) Si a , b son impares entonces ab es impar
22) Demuestre que las siguientes afirmaciones son falsas, haciendo uso de un contraejemplo
a) Todo número primo es impar
b) Si n2 −n es par entonces n es par.
Los profesores del curso Pág. 3
