Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 139 vistas

    Leyes de La Lógica Proposicional

    Cargado por

    roberto torrez
    El documento resume las principales leyes lógicas de las operaciones proposicionales como la conjunción, disyunción, implicación, equivalencia y negación. Incluye leyes de idempotencia, conmutatividad, asociatividad, distribución, identidad, complementación y absorción.

    Copyright:

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

    Leyes de La Lógica Proposicional

    Cargado por

    roberto torrez
    139 vistas2 páginas
    El documento resume las principales leyes lógicas de las operaciones proposicionales como la conjunción, disyunción, implicación, equivalencia y negación. Incluye leyes de idempotencia, conmutatividad, asociatividad, distribución, identidad, complementación y absorción.

    Título original

    Leyes de La Lógica Proposicional (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?

    El documento resume las principales leyes lógicas de las operaciones proposicionales como la conjunción, disyunción, implicación, equivalencia y negación. Incluye leyes de idempotencia, conmutatividad, asociatividad, distribución, identidad, complementación y absorción.

    Copyright:

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

    Leyes de La Lógica Proposicional

    Cargado por

    roberto torrez
    El documento resume las principales leyes lógicas de las operaciones proposicionales como la conjunción, disyunción, implicación, equivalencia y negación. Incluye leyes de idempotencia, conmutatividad, asociatividad, distribución, identidad, complementación y absorción.

    Copyright:

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

    LEYES DE LA LÓGICA PROPOSICIONAL (EQUIVALENCIAS LÓGICAS)

    1. Idempotencia

    • (𝑝 ∧ 𝑝) 𝑝
    • (𝑝 ∨ 𝑝) 𝑝

    2. Conmutatividad

    • (𝑝 ∧ 𝑞) ( 𝑞 ∧ 𝑝)
    • (𝑝 ∨ 𝑞) (𝑞 ∨ 𝑝)
    • (𝑝 ⊻ 𝑞) (𝑞 ⊻ 𝑝)
    • (𝑝 ↔ 𝑞) (𝑞 ↔ 𝑝)
    • (𝑝 ↓ 𝑞) (𝑞 ↓ 𝑝)
    • (𝑝 ↑ 𝑞) (𝑞 ↑ 𝑝)

    3. Asociatividad

    • [(𝑝 ∧ 𝑞) ∧ 𝑟] [𝑝 ∧ (𝑞 ∧ 𝑟) ]
    • [(𝑝 ∨ 𝑞) ∨ 𝑟] [𝑝 ∨ (𝑞 ∨ 𝑟) ]
    • [(𝑝 ↔ 𝑞) ↔ 𝑟] [𝑝 ↔ (𝑞 ↔ 𝑟) ]
    • [(𝑝 ⊻ 𝑞) ⊻ 𝑟] [𝑝 ⊻ (𝑞 ⊻ 𝑟) ]

    4. Distributividad

    • [𝑝 ∧ (q ∨ r) ] [(𝑝 ∧ 𝑞 ) ∨ (𝑝 ∧ 𝑟)]
    • [𝑝 ∨ (q ∧ r) ] [(𝑝 ∨ 𝑞) ∧ (𝑝 ∨ 𝑟)]
    • [𝑝 → (𝑞 ∧ 𝑟) ] [(𝑝 → 𝑞) ∧ (𝑝 → r)]
    • [𝑝 → (𝑞 ∨ 𝑟) ] [(𝑝 → 𝑞) ∨ (𝑝 → 𝑟)]
    • [𝑝 → (𝑞 ↔ 𝑟) ] [(𝑝 → 𝑞) ↔ (𝑝 → 𝑟)]

    5. Leyes de la condicional (Implicación material)

    • (𝑝 → 𝑞) (~ 𝑝 ∨ 𝑞) Definición de la implicación material


    • (𝑝 → 𝑞) ( 𝑝 ↑ ~ 𝑞) Reducción de la implicación material
    • (𝑝 → 𝑞) (~𝑞 → ~ p) Ley de transposición
    • [𝑝 → (𝑞 → 𝑟) ] [𝑞 → (𝑝 → 𝑟)] Ley de conmutación simple
    • [(𝑝 ∧ 𝑞) → 𝑟] [𝑝 → (𝑞 → 𝑟)] 1a ley de exportación
    • [(𝑝 ∧ 𝑞) → 𝑟] [𝑞 → (𝑝 → 𝑟)] 2a ley de exportación

    6. Leyes de la bicondicional (Equivalencia material)

    • (𝑝 ↔ 𝑞) [(𝑝 ∧ 𝑞) ∨ (~ 𝑝 ∧ ~ 𝑞 ) ]
    • (𝑝 ↔ 𝑞) [(𝑝 → 𝑞) ∧ (𝑞 → 𝑝) ]
    • (𝑝 ↔ 𝑞) (~ 𝑝 ↔ ~ 𝑞) Inversión de la bicondicional
    • (𝑝 ↔ 𝑞) (~ 𝑞 ↔ ~ 𝑝) Transposición de la bicondicional

    7. Negación de las operaciones binarias

    • ~ (𝑝 ∧ 𝑞) (~ 𝑝 ∨ ~ 𝑞)
    𝐿𝑒𝑦𝑒𝑠 𝑑𝑒 𝐷𝑒 𝑀𝑜𝑟𝑔𝑎𝑛
    • ~ (𝑝 ∨ 𝑞) (~ 𝑝 ∧ ~ 𝑞)
    • ~ (𝑝 → 𝑞) (𝑝 ∧ ~ 𝑞)
    • ~ (𝑝 ↔ 𝑞) (𝑝 ⊻ 𝑞) (~ 𝑝 ↔ 𝑞) (𝑝 ↔ ~ 𝑞) (𝑝 ∧ ~ 𝑞) ∨ (~ 𝑝 ∧ 𝑞)
    • ~ (𝑝 ↓ 𝑞) (𝑝 ∨ 𝑞)
    • ~ (𝑝 ↑ 𝑞) (𝑝 ∧ 𝑞)
    • ~ (𝑝 ⊻ 𝑞) (𝑝 ↔ 𝑞)

    8. Leyes de Identidad

    • (𝑝 ∧ T) 𝑝 (T es elemento neutro para ∧)


    • (𝑝 ∧ F) F (F es elemento absorbente para ∧)
    • (𝑝 ∨ T) T (T es elemento absorbente para ∨)
    • (𝑝 ∨ F) 𝑝 (F es elemento neutro para ∨)

    9. Leyes de complementación

    • (𝑝 ∨ ~ p) 𝑇 Ley del tercero excluido


    • (𝑝 ∧ ~ p) F Ley de contradicción
    • ~T 𝐹
    • ~F 𝑇
    • ~(~ p) p Ley de involución o de doble negación

    10. Leyes de absorción

    • [p ∧ (𝑝 ∨ 𝑞)] 𝑝
    • [p ∨ (𝑝 ∧ 𝑞)] 𝑝

    También podría gustarte

    pFad - Phonifier reborn

    Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

    Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


    Alternative Proxies:

    Alternative Proxy

    pFad Proxy

    pFad v3 Proxy

    pFad v4 Proxy