Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 5 vistas

    Leyes Proposicionales Trabajo

    Cargado por

    katherin ocampo sandoval

    Copyright:

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

    Leyes Proposicionales Trabajo

    Cargado por

    katherin ocampo sandoval
    5 vistas3 páginas

    Título original

    Leyes proposicionales trabajo

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    DOCX, PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Descargar como docx, pdf o txt
    5 vistas3 páginas

    Leyes Proposicionales Trabajo

    Cargado por

    katherin ocampo sandoval

    Copyright:

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

    Leyes proposicionales

    1. Involución o doble negación:


    ~ ( ~p) ≡ p

    2. Idempotencia:
    p∧p≡p
    pvp≡p

    3. Leyes de identidad:
    p∧v≡p
    pvf ≡p

    4. Leyes de dominación:
    p∧f≡f
    pvv≡v
    Negación: ~v ≡ f
    ~f ≡ v

    5. Ley del tercio excluido:


    ( p v ~p ) ≡ v

    6. Ley de contradicción:
    ( p ∧ ~p ) ≡ f

    7. Leyes conmutativas:
    p∧q≡q∧p
    pvq≡qvp

    8. Leyes asociativas:
    (p∧q)∧r≡p∧(q∧r)
    (pvq)vr≡ pv(qvr)

    9. Leyes distributivas:
    (p ∧ q) v (p ∧ r) ≡ p ∧ (q v r)
    (p v q) ∧ (p v r) ≡ p v (q ∧ r)

    10. Ley de absorción total:


    p ∧ (p v q) ≡ p
    p v (p ∧ q) ≡ p

    11. Ley absorción parcial:


    p ∧ (~p v q) ≡ p ∧ q
    ~p v (p ∧ q) ≡ ~p v q

    12. Leyes de morgan:


    ~(p ∧ q) ≡ ~p v ~q
    ~(p v q) ≡ ~p ∧ ~q

    13. Ley del condicional:


    p → q ≡~p v q

    14. Leyes del bicondicional:


    p ↔ q ≡ (p → q) ∧ (q → p)
    p ↔ q ≡ (p ∧ q) v (~p ∧ ~q)

    15. Ley de transposición:


    p → q ≡ ~q → ~p
    p ↔ q ≡ ~q ↔ ~p

    16. Ley de exportación:


    (p ∧ q) → r ≡ p → (q → r)

    EJEMPLOS

    1. [ ~(p → q) → ~(q → p)] ∧ (p v q)


    [ ~(~p v q) → ~(~q v p)] ∧ (p v q) ………………... (condicional)
    [ (p ∧ ~q) → (q ∧ ~p)] ∧ (p v q).............................(morgan)
    [~(p ∧ ~q) v (q ∧ ~p)] ∧ (p v q)..............................(condicional)
    [(~p v q) v (q ∧ ~p)] ∧ (p v q) ……………………...(morgan)
    [ (q ∧ ~p) v (~p v q)] ∧ (p v q)................................(conmutativa)
    { [ (q ∧ ~p) v ~p] v q} ∧ (p v q)................................(asociativa)
    (~p v q) ∧ (p v q)..................................................(absorción total)
    (q v ~p) ∧ (q v p)...................................................(conmutativa)
    q v (~p ∧ p)..........................................................(distributiva)
    q v f………………………………………………….(contradicción)
    q……………………………………………………..(identidad)

    2. ~[~(p ∧ q) → ~q] v q
    ~[(~p v ~q) → ~q] v q ...............................................(morgan)
    ~[~(~p v ~q) v ~q] v q ..............................................(condicional)
    ~[(p ∧ q) v ~q] v q ....................................................(morgan)
    ~[~q v (q ∧ p)] v q………………………………………....(conmutativa)
    ~(~q v p) v q ………………………………………………(absorción parcial)
    (q ∧ ~p) v q .............................................................(morgan)
    q v (q ∧ ~p)…………..…………………………………....(conmutativa)
    q…………………………………………………………….(absorción total)

    3. { [ (p → q) ↔ ~q ] ∧ ~q}
    {[(~p v q) ↔ ~q ] ∧ ~q}.................................................... (condicional)
    {[(~p v q) → ~q] ∧ [~q →(~p v q)] ∧ ~q}.........................(bicondicional)
    {[~(~p v q) v ~q] ∧ [~(~q) v (~p v q)] ∧ ~q}...................... (condicional)
    {[(p ∧ ~q) v ~q] ∧ [q v (~p v q)] ∧ ~q}..............................(morgan y doble
    negación)
    {[ ~q v (~q ∧ p)] ∧ [q v (q v ~p)] ∧ ~q}..............................(conmutativa)
    {[ ~q] ∧ [(q v q) v ~p] ∧ ~q}..............................................(absorción total
    y asociativa)
    {~q ∧ (q v ~p) ∧ ~q}.........................................................(idempotencia)
    {(~q ∧ ~p) ∧ ~q}...............................................................(absorción
    parcial)
    {(~q ∧ ~q) ∧ ~p}...............................................................(asociativa)
    {~q ∧ ~p}.........................................................................(idempotencia)
    ~(q v p)............................................................................(morgan)

    KATHERIN OCAMPO SANDOVAL


    NATALIA PERALTA URAN

    También podría gustarte