Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 198 vistas

    Proposiciones Equivalentes

    Cargado por

    avargasl
    Este documento presenta los conceptos básicos de la lógica proposicional, incluyendo: 1) la definición de proposiciones equivalentes y ejemplos; 2) doce leyes lógicas como la ley de involución y las leyes de Morgan; 3) ejemplos resueltos de simplificación de proposiciones usando las leyes; y 4) ejercicios propuestos para la clase.

    Copyright:

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

    Proposiciones Equivalentes

    Cargado por

    avargasl
    198 vistas6 páginas
    Este documento presenta los conceptos básicos de la lógica proposicional, incluyendo: 1) la definición de proposiciones equivalentes y ejemplos; 2) doce leyes lógicas como la ley de involución y las leyes de Morgan; 3) ejemplos resueltos de simplificación de proposiciones usando las leyes; y 4) ejercicios propuestos para la clase.

    Título original

    04. Proposiciones equivalentes

    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 los conceptos básicos de la lógica proposicional, incluyendo: 1) la definición de proposiciones equivalentes y ejemplos; 2) doce leyes lógicas como la ley de involución y las leyes de Morgan; 3) ejemplos resueltos de simplificación de proposiciones usando las leyes; y 4) ejercicios propuestos para la clase.

    Copyright:

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

    Proposiciones Equivalentes

    Cargado por

    avargasl
    Este documento presenta los conceptos básicos de la lógica proposicional, incluyendo: 1) la definición de proposiciones equivalentes y ejemplos; 2) doce leyes lógicas como la ley de involución y las leyes de Morgan; 3) ejemplos resueltos de simplificación de proposiciones usando las leyes; y 4) ejercicios propuestos para la clase.

    Copyright:

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

    MATEMÁTICA I

    LÓGICA PROPOSICIONAL

    DOCENTE: MG. MARCIAL SÁNCHEZ ROLDÁN


    PROPOSICIONES EQUIVALENTES
    Dos o más proposiciones simples o compuestas, son equivalentes cuando
    tienen la misma tabla de verdad teniendo en cuenta el orden de las
    posibilidades consideradas.
    Ejemplo 1 Ejemplo 2
    a) ~p v q b) p → q c) ~p ^ ~q d) ~(p v q)
    p q ~p v q p q p → q p q ~p ^ ~q p q ~(p v q)
    V V F V V V V V V V V V F F F V V F V
    V F F F F V F V F F V F F F V V F F V
    F V V V V F V F V V F V V F F F V F V
    F F V V F F F F V F F F V V V F F V F

    Conclusión: Conclusión:
    ~p v q Ξ p → q ~p ^ ~q Ξ ~(p v q)
    LEYES LÓGICAS
    1) Ley de Involución (doble 5) Leyes distributivas:
    negación): ~(~ p) Ξ p
    a) p ᴧ (q ᴠ r) Ξ (p ᴧ q) ᴠ (p ᴧ r)
    2) Ley de Idempotencia:
    b) p ᴠ (q ᴧ r) Ξ (p ᴠ q) ᴧ (p ᴠ r)
    a) p ᴠ p Ξ p
    c) p → (q ᴧ r) Ξ (p → q) ᴧ (p → r)
    b) p ᴧ p Ξ p
    d) p → (q ᴠ r) Ξ (p → q) ᴠ (p → r)
    3) Leyes conmutativas:
    6) Leyes de Morgan:
    a) p ᴧ q Ξ q ᴧ p
    a) ~ (p ᴧ q) Ξ ~ p ᴠ ~ q
    b) p ᴠ q Ξ q ᴠ p
    b) ~ (p ᴠ q) Ξ ~ p ᴧ ~ q
    c) p ↔ q Ξ q ↔ p
    7) Leyes condicionales:
    4) Leyes asociativas:
    a) p → q Ξ ~ p ᴠ q
    a) (p ᴧ q) ᴧ r Ξ p ᴧ (q ᴧ r)
    b) ~ (p → q) Ξ p ᴧ ~ q
    b) (p ᴠ q) ᴠ r Ξ p ᴠ (q ᴠ r)
    c) (p ↔ q) ↔ r Ξ p ↔ (q ↔ r)
    LEYES LÓGICAS
    8) Leyes de transposición: 10) Leyes Bicondicionales:
    a) (p → q) Ξ ~q → ~p a) p ↔ q Ξ (p → q) ᴧ (q → p)
    b) (p ↔ q) Ξ ~q → ~p b) p ↔ q Ξ (p ᴧ q) ᴠ (~ p ᴧ ~q)

    9) Leyes de absorción: 11) Leyes de Exportación:

    a) p ᴧ (p ᴠ q) Ξ p (p ᴧ q) → r Ξ p → (q→ r)

    b) p ᴧ (~ p ᴠ q) Ξ p ᴧ q 12) Disyunción fuerte:


    c) p ᴠ (p ᴧ q) Ξ p p ∆ q Ξ ~ (p ↔q)
    d) p ᴠ (~ p ᴧ q) Ξ p ᴠ q
    EJERCICIOS RESUELTOS
    1) Simplificar la proposición: p ᴧ (q → p)
    Resolución:
    p ᴧ (q → p) Ξ p ᴧ (~q v p) (condicional)
    Ξp (absorción)
    p ᴧ (q → p) Ξ p
    2) Simplificar la proposición: ~p v (p ^ ~q)
    Resolución:
    ~p v (p ^ ~q) Ξ (~p v p) ^ (~p v ~q) (distributiva)
    Ξ V ^ (~p v ~q) (complemento)
    Ξ (~p v ~q) (elemento neutro)
    Ξ ~(p ^ q) (de Morgan)
    ~p v (p ^ ~q) Ξ ~(p ^ q)
    EJERCICIOS PARA LA CLASE
    1) Dadas las siguientes proposiciones:

    I) (~p v q) → p II) (p → q) v (p ^ q) III) (p ↔ ~q) → (~p ^ q)

    ¿Cuáles son lógicamente equivalentes?

    2) Simplificar el esquema: (~ p ᴧ q) → (q → p)

    3) Simplificar la proposición: [(p → q) ᴧ ~ q] → ~ p

    4) Simplificar la proposición: [(~ p ᴧ q) → (r ᴧ ~ r)] ᴧ ~ q

    5) Simplificar la proposición: ~(p v ~ q)] → ~ q

    6) Simplificar la proposición: (p v q) → (~ p ᴧ q)

    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