Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 238 vistas

    Leyes Logicas

    Cargado por

    Moises Arana
    Este documento presenta las principales leyes y propiedades de la lógica proposicional, incluyendo las leyes de la doble negación, conmutativa, distribución, complemento, idempotencia, asociatividad, condicional, bicondicional, disyuntor fuerte y exportación. En total se enumeran 14 grupos de leyes y propiedades lógicas fundamentales.

    Copyright:

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

    Leyes Logicas

    Cargado por

    Moises Arana
    238 vistas1 página
    Este documento presenta las principales leyes y propiedades de la lógica proposicional, incluyendo las leyes de la doble negación, conmutativa, distribución, complemento, idempotencia, asociatividad, condicional, bicondicional, disyuntor fuerte y exportación. En total se enumeran 14 grupos de leyes y propiedades lógicas fundamentales.

    Título original

    LEYES_LOGICAS

    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 las leyes de la doble negación, conmutativa, distribución, complemento, idempotencia, asociatividad, condicional, bicondicional, disyuntor fuerte y exportación. En total se enumeran 14 grupos de leyes y propiedades lógicas fundamentales.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    238 vistas1 página

    Leyes Logicas

    Cargado por

    Moises Arana
    Este documento presenta las principales leyes y propiedades de la lógica proposicional, incluyendo las leyes de la doble negación, conmutativa, distribución, complemento, idempotencia, asociatividad, condicional, bicondicional, disyuntor fuerte y exportación. En total se enumeran 14 grupos de leyes y propiedades lógicas fundamentales.

    Copyright:

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

    LEYES DEL ALGEBRA DE 5. Absorción: 12).

    Leyes del Bicondicional:


    PROPOSICIONES A  (A ˄ B)  A
    a) p ↔ q ≡ (p → q) ˄ (q → p)
    A ˄ (A  B)  A
    1. Doble negación b) p ↔ q ≡ (¬p  q) ˄ (¬q  p)
    ~ (~ A)  A ¬A  (A ˄ B)  ¬A  B
    ~ [~ (~ A)]  ~ A c) p ↔ q ≡ (p  q) ˅ (~p  ~q)
    ¬A ˄ (A  B)  ¬A ˄ B d) p ↔ q ≡ ~ p ↔ ~q ≡ ~(p ↔ ~q) ≡ ~(~p ↔ q)
    2. Conmutativa 6. Identidad: e) p ↔ q ≡ ~ (p Δ q) ≡ ~ p Δ q ≡ p Δ ~ q ≡ ~(~p Δ ~ q)
    a) A  V  V
    a) A  B  B  A
    b) A  V  A 13.Leyes del Disyuntor fuerte:
    b) A  B  B  A a) p Δ q ≡ ¬ (p ↔ q)
    c) A˅F A
    c) A ↔ B  B ↔ A b) p Δ q ≡ (¬p  q)  (¬q  p)
    d) A  F  F
    d) A Δ B  B Δ A 7. Complemento: c) p Δ q ≡ (p  q)  (¬q  ¬ p)
    e) A ↓ B  B ↓ A d) p Δ q ≡ ~ p ↔ q ≡ p ↔ ~ q ≡ ~ (p ↔ q) ≡ ~ (~p ↔ ~q)
    A v ~ A  V (Postulado del tercer excluido)
    f) A ⁄ B  B ⁄ A A  ~ A  F (Postulado de contradicción) e) p Δ q ≡ ~ p Δ ~q ≡ ~ (p Δ ~q) ≡ ~ (~p Δ q)

    3. Teorema de D´ Morgan 8. Idempotencia


    A˅AA 14. Ley de Exportación:
    a) ~ (A ˅ B)  ~ A  ~ B A˄AA (p  q) → r ≡ p → (q → r)
    b) ~ (A ˄ B)  ~ A ˅ ~ B
    9. Distributiva: Otras Equivalencias
    c) A  B  ~ (~ A ˅ ~ B)
    a) A ˅ (B  C)  (A ˅ B)  (A ˅ C) A↔1  A A ˄ (A ↔ B)  A  B
    d) A  B  ~ (~ A  ~ B) A↔A  1
    b) A  (B ˅ C)  (A  B) ˅ (A  C) A ˅ (A ↔ B)  A ˅ ¬ B
    A↔0 ¬A
    4. Ley Asociativa
    c) A → (B ˄ C)  (A → B) ˄ (A → C) A ↔ ¬A  0 (A ˄ B) ↔ A ≡ ¬A ˅ B
    A Δ0 A
    A ˅ (B ˅ C)  (A ˅ B) ˅ C  (A ˅ C) ˅ B ( A ˅ B) ↔ A ≡ A ˅ ¬ B
    10.Leyes del Condicional: A Δ 1  ¬A
    (A ˄ B) ˄ (C ˄D)  (A ˄ C) ˄ (B ˄ D) a) p → q ≡ ~p ˅ q A Δ ¬A  1 (A ˅ B) ↔ (A ˅ C) ≡ A ˅ (B ↔ C)
    A ΔA 0
    (A ↔B↔C ↔D)  (A ↔ C) ↔ (B ↔ D) b) ~ (p → q) ≡ p  ~ q

    11. Leyes de Trasposición:


    (A ΔBΔC ΔD)  (A Δ C) Δ (B Δ D)
    a) (p → q) ≡ (~q → ~p)
    b) (p ↔ q) ≡ (~q ↔ ~p)
    2021 DOCENTE: JORGE SILVA GONZALES
    CEPUNT

    También podría gustarte