Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 36 vistas

    Algebra Proposiconal

    Cargado por

    Renzo Alexander
    Este documento presenta varias leyes de equivalencias notables de la lógica proposicional, incluyendo conmutación, asociación, doble negación, teoremas de De Morgan, definición del condicional, bicondicional, disyunción fuerte y absorción.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd

    Algebra Proposiconal

    Cargado por

    Renzo Alexander
    36 vistas15 páginas
    Este documento presenta varias leyes de equivalencias notables de la lógica proposicional, incluyendo conmutación, asociación, doble negación, teoremas de De Morgan, definición del condicional, bicondicional, disyunción fuerte y absorción.

    Título original

    ALGEBRA PROPOSICONAL

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Este documento presenta varias leyes de equivalencias notables de la lógica proposicional, incluyendo conmutación, asociación, doble negación, teoremas de De Morgan, definición del condicional, bicondicional, disyunción fuerte y absorción.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    36 vistas15 páginas

    Algebra Proposiconal

    Cargado por

    Renzo Alexander
    Este documento presenta varias leyes de equivalencias notables de la lógica proposicional, incluyendo conmutación, asociación, doble negación, teoremas de De Morgan, definición del condicional, bicondicional, disyunción fuerte y absorción.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    de 15

    ÁLGEBRA PROPOSICIONAL

    LEYES DE EQUIVALENCIAS NOTABLES

    Conmutación Distribución
    ▪ (p  q) = ( q  p) ➢ (p  q)  r = (p  r)  (q  r)
    ▪ (p  q) = ( q  p) ➢ (p  q)  r = (p  r)  (q  r)
    ▪ (p ↔q ) = (q ↔ p) ➢ p→(qr)= (p → q)  (q→p)
    ➢ p→(qr)= (p → q)  (q→p)

    Asociación
    ❑ p( q  r) =(p  q) r
    ❑ p (q  r) = (p  q)  r
    ❑ p ↔ (q ↔ r) = (p ↔ q) ↔r
    LEYES DE EQUIVALENCIAS NOTABLES
    Doble Negación (DN) Def. del condicional (Def. cond.)
    ➢ ~~ p = p ➢ p → q = ~pq
    ➢ ~~(~p) = ~p
    ➢ p → q = ~(p~q)
    Teoremas de De Morgan (DM)
    ~(p  q) = ~p~q
    ~(p  q) = ~p~q
    p  q =~(~p~q)
    p  q = ~(~p~q)

    Idempotencia (Idem.)
    ❖ p  p =p
    ❖ p  p =p
    LEYES DE EQUIVALENCIAS
    NOTABLES
    Def. del bicondicional (Def. Bicondicional) Absorción (Abs.)
    p ↔ q = ( p → q)  (q → p) p  (p  q) =p
    p ↔ q = [ (p  q)  (~p  ~q) ] p  (p  q) =p
    p  (~p  q) = p  q
    Def. de la disyunción fuerte (Def. DF) p  (~p  q) =p  q
    p ↮ q = ~ (p ↔ q)
    p ↮ q = (p  q)  (~p  ~q) Transposición(Trans.)
    p → q =~q → ~p
    p↔ q= (~ q ↔ ~p)
    LEYES DE EQUIVALENCIAS
    NOTABLES
    EJERCICOS:
    ( p → q) = ( q → p )
    1.- Demostrar que: =  ( q )  p  p →q  p q
     
    (p → q ) = ( ~ q → ~ p )
    =(q  p)
    Solución: =( pq )
    ( p → q) = (~ q → ~ p) ( p →q) = p →q Lqqd
    = ~ (~q ) V ~p Ley de la Condicional
    = q V ~p Ley de la Doble Negación
    = ~p V q Ley Conmutativa

    =p→q Por Definición de la CONDICIONAL

    ( p → q) = ( ~q →~p) lqqd
    EJERCICOS:

    2) Simplificar la siguiente proposición:


    A = (~ p ∧ q) →(q → p)

    Solución:
    A = ~ (~p ∧ q) V ( q → p) Ley de la Condicional
    = ( p v ~q) v (~q v p ) Ley de Morgan y Condicional
    = ( p v ~q) v ( p v ~q) Ley Conmutativa
    = (p v p) v (~q v ~q) Idempotencia
    A=p v ~ q
    EJERCICOS:

    3) Simplificar la siguiente proposición:


    (q → p) →  ( p  q ) → ( q p ) 
    Solución:
    (q → p) →  ( p  q ) → ( q p )   p

    ( q  p )   ( p  q )  ( q  p )
    ( q  p )   ( p  q )  ( q  p )
    ( q  p )  ( q  p )    ( p  q )  p  ( p  q) = p  q
    ( q p )  ( p q )
    ( q  p )  p   ( q  p )  q  p  ( p  q) = p
    p   p  q   p Rpta
    EJERCICOS:

    4) Simplificar la siguiente proposición: p ↔ q = ( p → q) (q → p)

    ( p → q)   p  q 
    Solución:
    5) Simplificar la siguiente proposición:
     p  ( p  q)  →  q  p 

    Solución:
    6) Simplificar la siguiente proposición:
     q  (q → p)  →  p  q 

    Solución:
    7) Simplificar la siguiente proposición:
     p  ( p  q)  →  q  p 

    Solución:
    7) Simplificar la siguiente proposición:
    ( p  r ) → q  →  p → q 
     
    Solución:
    8) Simplificar la siguiente proposición:

     p  ( p → q)→q  V
    9) Simplificar la siguiente proposición:

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

    10) Simplificar la siguiente proposición:

    ( p  
    r )  (r  p)   q   p  ( p  r ) 
     
    1.- Demostrar que:
    a) p ∧~q = ~(p → q)
    b) p = (q v ~q) →p
    c) ~ [~ (p ∧q) →~q ] v q = q

    2.- Simplificar las siguientes proposiciones moleculares:


    a) ~ [ p ↔ ~(q v r) ]
    b) ~(p) ↔ (p → ~ q)
    c) (p v q) → [(~p v q) → (p ∧ q) ]
    Demostrar que las siguientes equivalencias son tautológicas:
    p  ( p  q)  p  q
    1. [(p → q) → (r → s)] = ~(~ s →~ r)→~(~ q→ ~ p) ( p  s )   ( p  s )  q   ( p  s )  q
    2. [(p → q)→ r] = [(p ∨ r) ∧ (~q ∨ r)]
    p   p  ( q  r )   p  ( q  r )
    3. [(p ∧ q) ∨ r] ∨ s = ~[~(p ∧ q)→ r] → s
    4. ~(p ∧ q ∧ r) = ~ p ∨ ~ q ∨ ~r
    5. p→[~p→(q → r)] = (p ∧ ~p ∧ q)→r q   q  r  q  r

    r   r  ( p  q )   r  ( p  q )

    q  q  r   q

    ( q  p )  ( q  p )  r   ( q  p )

    q   q  r  q  r

    También podría gustarte