Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 2 vistas

    Leyes de La Lógica

    Cargado por

    aichita123

    Copyright:

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

    Leyes de La Lógica

    Cargado por

    aichita123
    2 vistas2 páginas

    Título original

    Leyes_de_la_lógica

    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?

    Copyright:

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

    Leyes de La Lógica

    Cargado por

    aichita123

    Copyright:

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

    UNIVERSIDAD NACIONAL AUTÓNOMA DE HONDURAS

    Escuela de Matemáticas y Ciencias de la Computación


    MM420 - Matemática Discreta

    Leyes de la lógica
    Para cualesquiera proposiciones primitivas p, q, r, cualquier tautologı́a T0 y cualquier con-
    tradicción F0 ,

    1) ¬¬p ⇔ p Ley de la doble negación

    2) ¬(p ∨ q) ⇔ ¬p ∧ ¬q Leyes de De Morgan


    ¬(p ∧ q) ⇔ ¬p ∨ ¬q
    3) p∨q ⇔q∨p Leyes Conmutativas
    p∧q ⇔q∧p
    4) p ∨ (q ∨ r) ⇔ (p ∨ q) ∨ r Leyes asociativas
    p ∧ (q ∧ r) ⇔ (p ∧ q) ∧ r
    5) p ∨ (q ∧ r) ⇔ (p ∨ q) ∧ (p ∨ r) Leyes distributivas
    p ∧ (q ∨ r) ⇔ (p ∧ q) ∨ (p ∧ r)
    6) p∨p⇔p Leyes idempotentes
    p∧p⇔p
    7) p ∨ F0 ⇔ p Leyes de neutro
    p ∧ T0 ⇔ p
    8) p ∨ ¬p ⇔ T0 Leyes inversas
    p ∧ ¬p ⇔ F0
    9) p ∨ T0 ⇔ T0 Leyes de dominación
    p ∧ F0 ⇔ F0
    10) p ∨ (p ∧ q) ⇔ p Leyes de absorción
    p ∧ (p ∨ q) ⇔ p

    ∗ p → q ⇔ ¬p ∨ q Equivalencia de implicación

    MM420 - Matemática Discreta Pág. 1


    Regla de inferencia Nombre de la regla
    1) p Modus Ponens
    p→q
    ∴q
    2) p→q Ley de Silogismo
    q→r
    ∴p→r
    3) p→q Modus Tollens
    ¬q
    ∴ ¬p
    4) p Regla de Conjunción
    q
    ∴p∧q
    5) p∨q Regla de Silogismo disyuntivo
    ¬p
    ∴q
    6) ¬p → F0 Regla de Contradicción
    ∴p
    7) p∧q Regla de simplificación conjuntiva
    ∴p
    8) p Regla de amplificación disyuntiva
    ∴p∨q
    9) p∧q Regla de demostración condicional
    p → (q → r)
    ∴r
    10) p → r Regla de demostración por casos
    q→r
    ∴ (p ∨ q) → r
    11) p → q Regla del dilema constructivo
    r→s
    p∨r
    ∴q∨s
    12) p → q Regla del dilema destructivo
    r→s
    ¬q ∨ ¬s
    ¬p ∨ ¬r

    MM420 - Matemática Discreta Pág. 2

    También podría gustarte