Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 80 vistas

    01 Simplificacion de Formulas Proposicionales

    Cargado por

    milton paredes ovando
    Este documento presenta las principales leyes y propiedades de la lógica proposicional, incluyendo leyes de identidad, complementación, distribución, conmutatividad, asociatividad, negación, implicación material, equivalencia material y absorción. Explica también cómo simplificar fórmulas proposicionales mediante la aplicación sistemática de estas leyes y propiedades.

    Copyright:

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

    01 Simplificacion de Formulas Proposicionales

    Cargado por

    milton paredes ovando
    80 vistas11 páginas
    Este documento presenta las principales leyes y propiedades de la lógica proposicional, incluyendo leyes de identidad, complementación, distribución, conmutatividad, asociatividad, negación, implicación material, equivalencia material y absorción. Explica también cómo simplificar fórmulas proposicionales mediante la aplicación sistemática de estas leyes y propiedades.

    Título original

    01 Simplificacion de Formulas Proposicionales (1) (1)

    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 las principales leyes y propiedades de la lógica proposicional, incluyendo leyes de identidad, complementación, distribución, conmutatividad, asociatividad, negación, implicación material, equivalencia material y absorción. Explica también cómo simplificar fórmulas proposicionales mediante la aplicación sistemática de estas leyes y propiedades.

    Copyright:

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

    01 Simplificacion de Formulas Proposicionales

    Cargado por

    milton paredes ovando
    Este documento presenta las principales leyes y propiedades de la lógica proposicional, incluyendo leyes de identidad, complementación, distribución, conmutatividad, asociatividad, negación, implicación material, equivalencia material y absorción. Explica también cómo simplificar fórmulas proposicionales mediante la aplicación sistemática de estas leyes y propiedades.

    Copyright:

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

    1.2.13.

    LEYES DE LA LOGICA PROPOSICIONAL


    LEYES DE LA LOGICA PROPOSICIONAL
    a. Idempotencia d. Distributividad
    1. (p Λ p) <=> p 1. [p Λ (q V r )]<=>[(p Λ q) V (p Λ r )]
    2.(p V p) <=> p 2. [p V (q Λ r )]<=>[(p V q) Λ ( p V r )]
    3. [p→(q Λ r )]<=>[(p→ q) Λ ( p → r )]
    b. Conmutatividad
    4. [p→(q V r )]<=>[(p→ q) V ( p → r )]
    1. p Λ q <=> q Λ p
    5. [p→(q↔ r)]<=>[(p →q)↔(p→ r)]
    2. p V q <=> q V p
    3. p V q <=> q V p e) Leyes de la condicional (implicación material)
    4. p ↔ q <=> q ↔ p 1. (p → q)<=>( p V q) (Def. implic.Mater.)
    5. p ↓ q <=> q ↓ p 2. (p → q)<=>(p ↑ q) (Reduc. implic.Mat)
    6. p ↑ q <=> q ↑ p 3. (p → q)<=>( q→ p) Ley transp.
    c. Asociatividad 4. [p→(q → r )]<=>[q→ (p → r )] ley conm. s
    1. [(p Λ q) Λ r] <=> [p Λ (q Λ r)]
    5. [(pΛq)→r]<=>[p→(q→r)] 1ª L.Exportacion
    2. [(p V q) V r] <=> [p V (q V r)]
    3. [(p ↔ q) ↔ r] <=> [p ↔ (q ↔ r)] 6. [(pΛq)→r]<=>[q→(p→r)] 2ª L.E.
    4. [(p V q) V r] <=> [p V (q V r)]
    LEYES DE LA LOGICA PROPOSICIONAL
    f) Leyes Bicondicional (Equivalencia material) h) Leyes de identidad
    1.(p ↔q)<=>[(p Λ q) V ( p Λ q )] 1. (p Λ T) <=> p
    2. (p ↔q)<=>[(p → q) Λ (q → p )] 2. (p Λ F) <=> F
    3. (p ↔ q)<=>( p ↔ q) 3. (p V T) <=> T
    4. (p ↔ q)<=>( q ↔ p) 4. (p V F) <=> p
    g) Negación de las operaciones binarias i) Leyes de Complementación
    1. (p Λ q) <=> ( p V q) L. Morgan 1. (p V p) <=> T
    2. (p V q) <=> ( p Λ q) L. Morgan 2. (p Λ p) <=> F
    3. (p → q) <=> (p Λ q) 3. T <=> F
    4. (p↔q)<=>( p V q) <=> p↔q <=> p↔ q 4. F <=> T
    <=>[(pΛ q) V ( pΛ q)]
    5. ( p) <=> p
    5. (p ↓ q) <=> (p V q)
    j) Leyes de absorción
    6. (p ↑ q) <=> (p Λ q)
    • [p Λ (p V q)] <=> p
    7. (p V q) <=> (p ↔ q)
    • [p V (p Λ q)] <=> p
    1.2.14. SIMPLIFICACION DE
    FORMULAS PROPOSICIONALES
    SIMPLIFICACION
    Simplificar una fórmula proposicional, es hallar otra fórmula
    proposicional equivalente que sea menor a la original en
    proposiciones y símbolos lógicos .
    Ejercicio Nº 1
    (p V q) V ( p Λ q) 
    ( p Λ q) V ( p Λ q)  Ley de Morgan
    p Λ ( q V q)  Distributividad Inversa
    ( pΛ T) Complementación
    p Identidad
    p q (p V q) (p V q) p ( p Λ q) (p V q) V ( p Λ q)
    V V V F F F F
    V F V F F F F
    F V V F V V V
    F F F V V F V
    Ejercicio Nº 2
    (q V p) Λ q) 
    ( q V p) Λ (q V F )  Ley de Identidad
    qV( pΛ F) Distributividad Inversa
    qV F  Ley de Identidad
    q Ley de Identidad

    p q p q V p (q V p) Λ q)
    V V F V V
    V F F F F
    F V V V V
    F F V V F
    Ejercicio Nº 3
    (p Λ q) V ( p Λ q) 
    ( q Λ p) V (q Λ p)  Conmutatividad
    [ qΛ(pV p)] Distributiva Inversa
    [ qΛ T] Complementación
    q Identidad
    Ejercicio Nº 4
    [ (p Λ q) → ( p Λ q)] V ( p Λ q)
    [ (p Λ q)] V ( p Λ q) V ( p Λ q)  Def. Implicación Material
    (p Λ q) V ( p Λ q) V ( p Λ q)  Doble negación
    (p Λ q) V [( p Λ q) V ( p Λ q)]  Asociativa
    (p Λ q) V [ p Λ ( q V q)]  Distributiva inversa
    (p Λ q) V ( p Λ T )  Ley del tercero excluido
    (p Λ q) V p  Elemento neutro
    p V (p Λ q)  Conmutatividad
    ( p V p ) Λ ( p V q)  Distributiva inversa
    T Λ ( p V q)  Ley del tercero excluido
    pV q Elemento neutro
    Simplificar
    1) [~ (p ˄~ q) → (~ p ˄~ q)] ˅ (~ p ˄ q)
    2) [(p ˄~ q) v (p ˄ q)] → (~ p ˄~ q)
    3) [(q → p) ˄ (~p → q)] → ~ (p v ~q)
    4) ~ [ ~ (p ˄~ q)] → ~ p
    5) ~[(p ˄ r) → q] → ~ (p → q)
    6) [(p → q) ˅ ~ p] ˄ (~ q → p)
    7) (~ p → q)↔ (~ q → p)
    8) [p → (p ˄~ q) ] ˄ [(p v q) → p]
    9)[(p → ~ r) → p] ˄ [(~ p → ~ (p ˅ ~ q) ]
    10) [(~p ˄ q) → ~ p] ˄ (~ q ↔ p)
    11) ~[p ˄~(p ˄~ q)] → ~ (q v~ p)
    12) q v ~ [~ (p ˄ q) → ~ q]
    13) [p ˄ (p → q) ] → q
    14) [~ (r ˄~ q) ˄ ~ (~q → p)] → r
    BIBLIOGRAFIA
    • ALGEBRA I, Autor: Armando O. Rojo.
    • LOGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS 5ta Edición Autor:
    Braulio Cáceres Ch.
    • Algebra I Autor: Pedro Gutiérrez F.

    También podría gustarte