MATEMÁTICA DISCRETA

Demostraciones de proposiciones utilizando leyes lógicas

1. Exprese la fórmula y simplifica el siguiente circuito.

2. Simplifica utilizando leyes lógicas y luego verifique mediante tablas de verdad

2.1 (p →q) → q Resp: T

 ( p → q ) → q
   (  p  q )    q ley del condicional (2 veces)
( p  q)   q ley de la doble negación
 p  ( q  q ) ley asociativa
 p T ley del complemento
T ley de la identidad

2.2 [(p  q) → q]  p Resp: p

   ( p  q ) → q    p

    ( p  q )   q    p ley del condicional

 ( p  q )   q    p ley de la doble negación
  q  p   p ley de absorción
( q  p )   p ley del Morgan
p ley de absorción

Prof. Juan DIONISIO OSORES 1|Página

 MATEMÁTICA DISCRETA

2.3 {[(p → q)  (p  r)]  (p → r)} Resp: p  q

   (  p → q )   ( p   r )    ( p → r )

   ( p   q )   ( p   r )    (  p  r ) ley del condicional (2 veces )

( p  q )  ( p   r )  ( p   r ) ley de Morgan (2 veces )
( p  q )  ( p   r ) ley de idempotencia
 q   p  ( p   r )  ley asociativa
( q  p) ley de absorción
( p  q ) Ley conmutativa

2.4 {[(p  q)  (p  q)] → p}  [(p  q)  (q  p)] Resp: p

 
    ( p  q )  (  p  q )  → p  (  p   q )  ( q   p ) 

  (  p   q )  ( p   q )  → p  (  p   q )  q   (  p   q )   p  ley de Morgan y distributiva

  (  p  p )  (  q   q )  → p  ( q  p )   p  ley asociativa y de absorción

  (T )  (  q )  → p   p ley de complemento y absorción

  (T )  (  q )  → p   p ley de absorción

  T  → p   p ley de identidad
  F → p   p Ley de la negación
( F  p)   p ley del Morgan
 p F ley de absorción
p ley de identidad

2.5 [(p  q)  (q → r)] → p Resp: p

  (  p  q )   ( q → r )  → p

 ( p  q )   (  q  r )    p ley de Morgan y ley del condicional

(  p  q )  (  q  r )    p ley de Morgan

 p  q  (  q  r )   p Ley asociativa

p ley de absorción

Prof. Juan DIONISIO OSORES 2|Página

 MATEMÁTICA DISCRETA

2.6 [(p  q) → (p → q)] → [q  (q  p)] Resp: p  q

( p   q ) → (  p → q )  →   q  ( q  p ) 

   ( p   q )   ( p  q )   (  q  p ) ley del condicional absorción

( p   q )  ( p  q )   (  q  p ) ley de Morgan
( p  q ) ley de absorción

2.7 [(p  q) → (q  p)]  [(p  p) → (q → r) Resp: T

( p  q ) → ( q  p )   ( p   p ) → ( q → r ) 

  ( p  q )  ( q   p )     ( p   p )  (  q   r )  ley del condicional

(  p   q )  ( q   p )   (  p  p )  (  q  r )  ley de Morgan
(  p   p )  ( q   q )   T  (  q   r )  ley del complemento y asociativa
(  p  T )  T ley del complemento, idempotencia, del de la identidad
T ley de absorción

2.8 [(p → q) → (p  q)]  [r  (q  p)] Resp: p  r

( p → q ) → (  p  q )     r  ( p  q ) 

  (  p  q )  ( p  q )     r  ( p  q )  ley del condicional y Morgan

( p  q )  ( p   q )     r  ( p  q )  ley de Morgan

( p  q )  p    q   r  ( p  q ) Ley asociativa

( p  q )    r  ( p  q )  ley del absorción

( p   q )  ( p  q )    r Ley asociativa
( p   q )  p   ( p   q )  q    r ley distributiva
 p  ( q  p )    r ley del absorción
p  r ley del absorción

Prof. Juan DIONISIO OSORES 3|Página

 MATEMÁTICA DISCRETA

2.9 {[(p  q)  (p  q)] v (p  q)}  [(q → r)  r] Resp: q  r

( p  q )  (  p  q )   ( p  q )  (  q → r )   r 

( p  q )  (  p  q )  (  p  q )  ( q  r )   r  ley de Morgan, ley del condicional
( p  q )  (  p  q )   (  r  q ) Ley asociativa, idempotencia, absorción
( p  q )  (  p  q )  q    r ley asociativa
( p  q )  q    r Ley absorción
( q   r ) ley absorción

Prof. Juan DIONISIO OSORES 4|Página