Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 726 vistas

    Equivalencias Lógicas

    Cargado por

    Rey Do Santos Ocmin
    Este documento lista las principales leyes y equivalencias de la lógica proposicional, incluyendo la ley de exclusión del término medio, la ley de contradicción, las leyes de identidad y dominación, las leyes de idempotencia, la ley de doble negación, las leyes conmutativas y asociativas, las leyes distributivas, las leyes de De Morgan, la definición de la implicación y la coimplicación.

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Descargue como PDF, TXT o lea en línea desde Scribd

    Equivalencias Lógicas

    Cargado por

    Rey Do Santos Ocmin
    726 vistas1 página
    Este documento lista las principales leyes y equivalencias de la lógica proposicional, incluyendo la ley de exclusión del término medio, la ley de contradicción, las leyes de identidad y dominación, las leyes de idempotencia, la ley de doble negación, las leyes conmutativas y asociativas, las leyes distributivas, las leyes de De Morgan, la definición de la implicación y la coimplicación.

    Derechos de autor

    © Attribution Non-Commercial (BY-NC)

    Formatos disponibles

    PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Este documento lista las principales leyes y equivalencias de la lógica proposicional, incluyendo la ley de exclusión del término medio, la ley de contradicción, las leyes de identidad y dominación, las leyes de idempotencia, la ley de doble negación, las leyes conmutativas y asociativas, las leyes distributivas, las leyes de De Morgan, la definición de la implicación y la coimplicación.

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    726 vistas1 página

    Equivalencias Lógicas

    Cargado por

    Rey Do Santos Ocmin
    Este documento lista las principales leyes y equivalencias de la lógica proposicional, incluyendo la ley de exclusión del término medio, la ley de contradicción, las leyes de identidad y dominación, las leyes de idempotencia, la ley de doble negación, las leyes conmutativas y asociativas, las leyes distributivas, las leyes de De Morgan, la definición de la implicación y la coimplicación.

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    Está en la página 1de 1

    Equivalencias en Lógica Proposicional

    Leyes Nombre
    p∨∼p≡V Ley de exclusión del término medio

    p ∧ ∼p ≡ F Ley de contradicción

    p∨F≡p Leyes de identidad

    p∧V≡p
    p∨V≡V Leyes de dominación

    p∧F≡F
    p∨p≡p Leyes de idempotencia

    p∧p≡p
    ∼ (∼ p) ≡ p Ley de doble negación

    p∨q≡q∨p Leyes conmutativas

    p∧q≡q∧p
    p ∨ (q ∨ r) ≡ (p ∨ q) ∨ r Leyes asociativas

    p ∧ (q ∧ r) ≡ (p ∧ q) ∧ r
    p ∨(q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r) Leyes distributivas

    p ∧ ( q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
    ∼ (p ∧ q) ≡ ∼ p ∨ ∼ q Leyes de De Morgan

    ∼ (p ∨ q) ≡ ∼ p ∧ ∼ q
    p⇒q≡∼p∨q Definición de la implicación

    p ⇔ q ≡(p⇒q)∧ (q⇒p) Definición de la coimplicación

    También podría gustarte