UNIVERSIDAD NACIONAL JOSE FAUSTINO SANCHEZ CARRION - HUACHO

FACULTAD DE INGENIERIA INDUSTRIAL, SISTEMAS E INFORMÁTICA

LOGICA MATEMATICA - EJERCICIOS
1. Refute y exprese cada una de las siguientes proposiciones .
(a) Karina tendrá una buena educación si pone sus estudios antes que su interés en ser
estrella de cine.
(b) Si Hornero aprueba su curso de programación y termina su proyecto de estructura dedatos,
podrá tomar el curso de lenguajes de programación el próximo semestre.
(b) Norma está haciendo su tarea de matemáticas y Claudia está practicando sus lecciones
de piano.
(c) Si Lorenzo se va de vacaciones, entonces él se divertirá si no le preocupa viajar en
avión.
2. Sea M el circuito lógico más simple correspondiente a la proposición:
[( p  q )  ( p  r )]  [( p  s)  ( p ~ s)] y N el circuito lógico más simple equivalente
a: [(q & ¬p) v (¬p & q)] v (¬q v q); construir el circuito lógico simplificado correspondiente a:
M ➔ N. Use compuertas lógicas, para determinar el circuito correspondiente
3. Utilizando leyes lógicas, simplificar la proposición compuesta:
a) [~ ( p  q )  ~ (q  p)]  [ p  q ] b) { p  [ p ~ (q  r )]}
c) ~ p  [ p  ~ q ] d) (PΛ q ) Λ ( q) Λ ( (p ∨ Λ q) e) (P (p ∨ q)
f) (P g) ( p ∨ (p Λ q Λ r ) ( p Λ q )

4. Dadas las proposiciones compuestas denotadas por a, b y c respectivamente:

a: p  ~ ( q  r ) b: ~ p ~ r c: ~ ( p  q ) ~ r . Determinar si: a  c y b  c
son tautológicas.
5, p, q, r, s son proposiciones. Si ( p  ~ q )  (~ r  s) es FALSA, deducir el valor de verdad
de: a) (~ pq) ~ q b) ( p  r )  ( p  s) c) (~ r  q )  (~ q  s)
6, Si p, r, s, t, w son proposiciones tales que:
X: ( p ~ r )  ( s  w) es VERDADERA, Y: (~ w  ~ s) es FALSA. Hallar el valor
de verdad de las proposiciones m: [t  (w ~ p) ~ ( p  r ) n: ( s  ~ w)  (r  ~ p)
7. Sean M y N las expresiones lógicas que representan a los circuitos a), b) respectivamente. Si el costo
de cada llave repercute en forma significativa en el costo total del circuito. Halle el circuito lógico
más económico correspondiente a N  M.
p r ¬q
p q q
r p q
p q r ¬r
r ¬q ¬q q
a) b) r q
8. Simplificar los circuitos siguientes:

a) p q b) p ¬q q p q p
¬q ¬p p ¬p ¬p ¬p
p ¬q q q ¬q p
q ¬p ¬q

c) {[ p  (q  ~ r )]  [ p  (q  r )]}  {[ p  q  ( p  q )]  [r  (~ r  q )  p)]}
9, Si P = x + y; Q = p + q; R = r.s; S = u.v obtener los circuitos lógicos y eléctricos de:
a) P + Q b) P.Q c) (P.Q) + (R.S) d) [(R + S). P] e) P . (R + S + P) . Q
10. Hallar el enunciado que es verdadero en:
a) La primera y segunda posibilidades lógicas.
 b) La segunda, quinta y sétima posibilidades lógicas.
11. Sea A la proposición más simplificada del circuito lógico:
p r ¬q
q q p q
¬r p ¬q
¬r q ¬p ¬q
r ¬q
Además sea B la proposición más simplificada de:
[( p  s)  ( p ~ s)]  [( p  q )  ( p  r )]
Construir el circuito lógico más simplificado correspondiente a B  A

12. Sea A la proposición lógica más simple del circuito lógico

p ¬q
q ¬p
¬p
p
¬p q
Sea igualmente B la proposición lógica más simple de la proposición (p*q)  ( p  ~ q ) donde
[( p * q )  F ] es equivalente a ( p  q ) . Encontrar el valor de verdad de la proposición A  B
13. Demostrar mediante tablas de verdad, cuáles de las siguientes proposiciones son: Tautologías,
contradicciones o contingencias:
a) [~ ( p  q )  r ]  [( p  r )  q ] b) [ p  (r  ~ p)]  [(~ q  p)  r ]
c) [ p  (q  r )]  [( p  q )  ( p  r )
d) [ p  (~ q  p)] ~ [( p ~ q)  (q ~ p) e) ( p  q )  [(~ p  q )  (q  p)] f)
(q ~ p]  (~ p ~ q] ~ ( p  q)
14. Simplificar las siguientes proposiciones:
a) ~ [~ ( p  q)  p) ~ (~ q ~ q)  (~ p ~ p))]  [~ p ~ q]
b) {[(~ q )  (~ p)]  (~ p)  (~ q )]} ~ ( p  q )
c) ~ {~ [~ [~ (~ p ~ q )  p]  p]  q} d) [ p  (q  ~ p)]  ~ q
e) (~ p ~ q  r )  ( p  q  r )  ( p ~ q  r ) f) p  [(q  ~ r )  (r  ~ s)  p]
15. Si la proposición: (r  s)  ( p  q ) es Falsa entonces de las siguientes proposiciones
asignadas, demostrar su valor de verdad:
a) (~ q  ~ r )  (~ t  ( p  q )) c) ~ [(~ p ~ q )]  (r  ~ t )
b) (~ q  ~ t )  (~ q  r )
16. Si U = {x  R / 2  x  10} y
p:(x U , y U )( − x − y  − z 2 ) q:(x U , y U , z U )( x − z 2  − y)
r:( y U , y U , z U )( x + y + z  20) .
Hallar el valor de verdad de: [( p  q )  (r  ~ p)]  (~ p  r )

17. Hallar el valor de verdad de la fórmula: [( a  b)  (c  d )]  c , si:

a) (x  N )( x + 15 . = 5) b) (x Q)( x +0 = 2 ) c) (x  Q)( x + 3 = 2 + 3 )
d) (x  Q )( x + 0 =  )
18. Dados los esquemas lógicos: A = ~ (~ p  ~ q ) , B = ( p  q )  ~ (~ p  q ) ,
C = ~ ( p ~ q ) . ¿Cuál de las siguientes relaciones es la correcta? a) A  B , b) B  C
c) A  C , d) A  B  C , e) N.A.
19. Si p, q, r, s, t, w son proposiciones tales que: a) ( p ~ r )  ( s  w) es verdadero. y
b) (~ w  ~ s) es Falso. Halle el valor de verdad de las siguientes proposiciones:
 i) ( p  q )  r  s
ii) ( s  ~ w)  (r  ~ p)
iii) [t  ( w ~ p)] ~ ( p  r )
20. Indique la conclusión lógica que sigue en cada premisa, al tiempo de demostrar su evidencia:
a) Es mentira que lloviera la pasada noche, entonces las pistas no se han limpiado. Si las pistas
estuvieran limpias, entonces podríamos transitar. No podemos transitar.
b) Si el arriendo se mantiene válido entonces el dueño es responsable de las reparaciones. Pero el
dueño no es responsable de las reparaciones y el arriendo no se mantiene válido
c) Si vivo en la capital de los EE.UU., entonces no vivo en ninguno de los cincuenta estados. Vivo en
la capital de los EE.UU.
d) Si nos despedimos ahora y pensamos viajar, entonces no cumpliremos nuestro plan. Cumplimos
nuestro plan además fuimos a cenar
e) Si esta planta no crece, entonces o necesito más agua o necesita mejor abono. Esta planta no crece.
f) Si son las cinco entonces la oficina está cerrada. Sucede que la oficina no está cerrada y no son las
cinco.
g) Ud. está en Madrid. Su reloj señala la misma hora que en Barcelona entonces no está en Madrid.
Además Ud. no está en Madrid.
21. En los siguientes enunciados demostrar que la conclusión es consecuencia de las premisas.
a) Si el reloj está adelantado, entonces Juan llegó antes de las diez y vio partir el coche de
Andrés. Si Andrés dice la verdad, entonces Juan no vio partir el coche de Andrés O Andrés
dice la verdad o estaba en el edificio en el momento del crimen. El reloj está adelantado. Por
tanto, Andrés estaba en el edificio en el momento del crimen.
b) Si A ganó la carrera, entonces o B fue el segundo o C fue el segundo. Si B fue el segundo,
entonces A no ganó la carrera. Si D fue el segundo, entonces C no fue el segundo. A ganó la
carrera. Entonces, D no fue el segundo.
c) Si Juan es más alto que Pedro, entonces María es más baja que Juana. María no es más baja
que Juana. Si Juan y Luís tienen la misma estatura, entonces Juan es más alto que Pedro. Por
tanto, Juan y Luís no tienen la misma estatura.
d) Si esta es una sociedad matriarcal, entonces el hermano de la madre es el cabeza de familia. Si
el hermano de la madre es el cabeza de familia, entonces el padre no tiene autoridad. Esta es
una sociedad matriarcal. Por tanto, el padre no tiene autoridad.

22. Dar una demostración formal de cada uno de los razonamientos siguientes, usando las leyes de la
inferencia lógica:
a) Demostrar que: x < y
( x = y  x  y)  ( x  4  ( x  z )  ( x = y  x  z )  ( x  y  x  z )
b) Demostrar que: x = 1
c) Demostrar que: y = z  x  5
( x = y  x  z)  ( x = 5  x ~  z)  ( x = 3  x  z)  ( x ~  y  x = y) 
( x = 3  x ~ y)
d). Demostrar que: x < 5
( x  y  x = y )  ( x = y  y  5)  ( x  y  y = r  x  5)  ( y = 5)
e) Demostrar que: x > 6
( x  5  x = 6  x  6)  ( x  5  x ~  5  x  5)  ( x  5  x  3 + 4) 
( x = 3 + 4  x  6)  ( x = 3 + 4  x  3)
f) Demostrar que: x = 4
(3x + 2 y = 18  x + 4 y = 16)  ( x = 2  3x + 2 y  18)  ( x = 2  y = 3)  ( x  4  y  3)
g) Demostrar que: ¬ r
( p  ~ q )  (~ q  ~ s)  [( p  ~ s)  ~ t ]  (r  t )
h) Demostrar que: ¬ t
t  p  s)  (q  ~ p)  (r  ~ s)  (r  q )
i) Demostrar que: r & q
( p  q )  ( s  q  r )  ( p  s)  (q  s)
j) Demostrar: ~ ( x  y  x = 1)
x = y  x ~ y  ( y = 0  x ~ y )  ( x = 0  xy = 0  y = 0) 
( x = y  y = 0)  x = 0
k) Demostrar: x  y  y = 6
( x  y  x = 0)  ( y = 6  x + y = 10)  ( y  4 ~ ( x + y  10))
l) Demostrar r V s
(c  d )  (c  d )  f  (f  a  b)  (a  b  r  s)
m) Demostrar: s  q
(s  q)  (t  r )  (s  t  r )
n) Demostrar: x + 8 < 12
( x + 8 = 12  x  4)  y  6  x + y  10)  ( x + y  10  x + 2  6)