UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS

ESTUDIOS GENERALES
FACULTAD DE QUÍMICA E INGENIERÍA QUÍMICA

Álgebra y Geometría Analítica

Tema: Nociones de Lógica. Leyes lógicas. Cuantificadores Semestre: 2023-I

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 no va a trabajar tarde, la pagaran
más. Por tanto, si va a trabajar tarde o no, le pagaran menos o más.
3) 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 → ( q  p ) 
4) 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:
(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
5) Determinar los valores de verdad de p,q , r de manera que la proposición

(p  q ) →  r  ( p  q )  sea falsa.

6) 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) r → (q  p) (b ) ( p  r )  ( q → p)

Los profesores del curso Pág. 1

 (c) q →( p  r ) (d ) ( p  q) → ( r  p)
7) Niegue la siguiente proposición: “Es de día y toda la gente se ha levantado”
8) Determine si cada una de las siguientes proposiciones es Tautología, Contradicción o Contingencia
a) ~(𝑝  ∧  𝑞 )   ∨   𝑟 b)   𝑞  ↔   (∼ 𝑝   ∨  𝑞 )
c) 𝑝  →   ∼ (𝑞 ∧ 𝑟) d)   (𝑝 →  (𝑞 → 𝑟))  ↔  [𝑝 ∧ (𝑞  → 𝑟)]
e) (𝑝 →  q   ∨  r)   ↔   (𝑝 → 𝑞 )   ∨   (𝑝 → 𝑟)
f) ∼ (𝑝 ∧ 𝑞 )  ↔  (𝑝 →   ∼  q)
9) Simplificar las siguientes proposiciones:
(a) ( p q) (b ) ( p  q)  ( p  q) ( c ) (( p)  q ) → ( r  r )   q

( d ) ( p → p)  q    q  ( r  q )    p → ( p  q ) 

10) 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 

11) Determine el valor de vedad 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

12) Niegue las siguientes proposiciones:
(a)  x ,  y p ( x, y ) ( b )  x ,  y ,  z p ( x, y , z )
(c)  x ,  y p ( x, y ) ( d )  x ,  y  p ( x )  q ( y ) 
13) Verifique que la negación de:
(a) x y, z ( x + y = z ) es x y z ( 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 
14) Simplifique las siguiente proposiciones
(a) ( p  q)  p (b ) ( p  q)  ( p  q)
15) Escribe simbólicamente la proposición r: “Para cada entero n, si n es par entonces n 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) 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)]

Los profesores del curso Pág. 2

 RELACIÓN DE TAUTOLOGÍAS

Verifique que cada una de las siguientes proposiciones es una tautología:

(a) p p Ley del medio excluido

(b)  p  ( p  q )   q Ley de separación o modus ponendo ponens

(c) ( p  q)  p ; ( p  q)  q Leyes de simplificación

(d ) p  ( p  q) Ley de adición

(e) ( p  q )  ( r  q )   ( p  r )  q  Prueba por casos

(f) ( p  q )  q   q Ley del absurdo

(g) ( p  q )  ( p  q )   p Ley del absurdo

(h) (p  p)  q Ley del absurdo

(i ) p ( negación de p )
p Ley de la doble negación

( j) ( p  q)  ( q  p) Ley de la contrarrecíproca

(k ) ( p  q)  ( p  q) Leyes de Morgan

( p  q)  ( p  q) Leyes de Morgan

(l ) ( p  q)  ( p  q) Leyes conmutativas

( p  q)  ( p  q) Leyes conmutativas

( ll )  p  ( q  r )   ( p  q )  r  Leyes asociativas

 p  ( q  r )   ( p  q )  r  Leyes asociativas

( m)  p  ( q  r )   ( p  q )  ( p  r )  Leyes distributivas

 p  ( q  t )   ( p  q )  ( p  r )  Leyes distributivas

( n) (p  p) Ley de la contradicción

(o) ( p  q)  (r  r )   ( p  q ) Reducción al absurdo

( p) ( p  q )  ( q  r )   ( p  r ) Ley transitiva

(q) ( p  a  b)  ( b  ( p  a ))
(r ) ( p  ( q  r ))  ( p  q  r ) Ley de la conmutación

(s) ( p  q)  ( p  r )  ( p  q  r )
(t ) p  q  ( p  q)

(u ) ( r  s )  ( r  s )  ( s  t )   s

Los profesores del curso Pág. 3