Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 41 vistas

    Relaciones Lógicas

    Cargado por

    Carlos Cabanillas Morales
    El documento describe diferentes relaciones lógicas entre proposiciones, incluyendo la equivalencia, implicación lógica y leyes de la lógica proposicional. Explica cómo se pueden simplificar proposiciones complejas aplicando las leyes lógicas.

    Copyright:

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

    Relaciones Lógicas

    Cargado por

    Carlos Cabanillas Morales
    41 vistas8 páginas
    El documento describe diferentes relaciones lógicas entre proposiciones, incluyendo la equivalencia, implicación lógica y leyes de la lógica proposicional. Explica cómo se pueden simplificar proposiciones complejas aplicando las leyes lógicas.

    Descripción original:

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

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

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    El documento describe diferentes relaciones lógicas entre proposiciones, incluyendo la equivalencia, implicación lógica y leyes de la lógica proposicional. Explica cómo se pueden simplificar proposiciones complejas aplicando las leyes lógicas.

    Copyright:

    © All Rights Reserved
    Descargue como PPTX, PDF, TXT o lea en línea desde Scribd
    Descargar como pptx, pdf o txt
    41 vistas8 páginas

    Relaciones Lógicas

    Cargado por

    Carlos Cabanillas Morales
    El documento describe diferentes relaciones lógicas entre proposiciones, incluyendo la equivalencia, implicación lógica y leyes de la lógica proposicional. Explica cómo se pueden simplificar proposiciones complejas aplicando las leyes lógicas.

    Copyright:

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

    RELACIONES LÓGICAS

    Son algunas de las relaciones que se dan entre dos formas


    proposicionales. Cada forma proposicional será denotada por una letra
    mayúscula.

    Prof: Roxana Martinez Monteza


    1
    • Dos esquemas proposicionales A y B, se dice
    que son equivalentes cuando unidas por el
    bicondicional “↔” el resultado es una
    tautología, es decir, que A y B tienen los
    mismos valores de verdad en su operador
    principal.
    • Se escribe: A≡B o bien A↔B.
    • Se lee:
    “A es equivalente a B” o “B es equivalente a A”.
    “A es condición necesaria y suficiente para B”
    2
    IMPLICACIÓN LÓGICA
    Decimos que una proposición P implica una
    proposición Q, si la tabla de verdad de la
    proposición P ⇒ Q es una tautología.

    Es decir, jamás ocurrirá que P sea verdadera y Q


    falsa.

    Se lee: “P implica lógicamente Q”.


    “P es condición suficiente para Q”.
    LEYES DE LA LÓGICA PROPOSICIONAL
     Ley de Involución (Doble Negación): ~(~p ) ≡ p
     Ley de Idempotencia
    p^p≡p
    pp≡p
     Leyes Conmutativas
    (p v q ) ≡ (q v p)
    (p ^ q) ≡ (q ^ p)
    (p ↔ q)≡(q ↔ p)
     Leyes Asociativas
    (p v q) v r ≡ p v (q v r)
    (p ^ q) ^ r ≡ p ^ (q ^ r)
    (p↔q) ↔ r ≡ p ↔ (q↔r) 4
     Leyes Distributivas
    p v (q ^ r) ≡ (p v q) ^ (p v r)
    p ^ (q v r) ≡ (p ^ q) v (p ^ r)
    p → (q^r) ≡ (p→q) ^ (p→r)
    p → (qr) ≡ (p→q)  (p→r)
     Ley de Absorción
    p v (p ^ q) ≡ p
    p ^ (p v q) ≡ p
    p ^ (~ p v q) ≡ p ^ q
    p v(~ p ^ q) ≡ p v q
     Leyes de Morgan
    ~( p v q ) ≡ ~p ^ ~q
    ~( p ^ q ) ≡ ~p v ~q 5
     Leyes del Complemento
    V: una tautologíaF: una contradicción
    ( p v ~p ) ≡ V
    ( p ^ ~p ) ≡ F
     Existencia del Elemento Neutro
    V: una tautología F: una contradicción
    (p v F) ≡ p
    (p v V) ≡ T
    (p ^ F) ≡ F
    (p ^ V) ≡ P

    6
     Leyes Condicionales
    p ⇒ q ≡ ~p v q
    ~(p ⇒ q) ≡p ^ ~q
     Leyes Bicondicionales
    (p ⇔ q) ≡ (p ⇒ q) ^ (q ⇒ p)
    (p ⇔ q) ≡(p ^ q) v(~ p ^ ~ q)
     Ley de Transposición
    (p ⇒ q) ≡ (~q ⇒ ~p)
    (p ⇔ q) ≡ (~q ⇔ ~p)
     Disyunción Fuerte
    p∆q ≡(p v q) ^~ (p ^ q) 7
    SIMPLIFICACIÓN DE PROPOSICIONES

    La aplicación de las leyes de la lógica proposicional


    permite simplificar proposiciones moleculares,
    reducir una proposición compuesta a una
    proposición más simple, generalmente de menos
    variables proposicionales y relacionadas con las
    conectivas “^”, “v”, o “~”. En algunos casos se
    reduce a una tautología o una contradicción.

    También podría gustarte