Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 138 vistas

    Leyes Lógicas

    Cargado por

    avargasl
    Este documento presenta los principios y leyes lógicas más importantes, incluyendo la ley de involución, las leyes de Morgan, las leyes condicionales, y las formas normales para conjunción y disyunción. Luego, proporciona una práctica con 10 problemas lógicos para simplificar fórmulas utilizando estas leyes.

    Copyright:

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

    Leyes Lógicas

    Cargado por

    avargasl
    138 vistas2 páginas
    Este documento presenta los principios y leyes lógicas más importantes, incluyendo la ley de involución, las leyes de Morgan, las leyes condicionales, y las formas normales para conjunción y disyunción. Luego, proporciona una práctica con 10 problemas lógicos para simplificar fórmulas utilizando estas leyes.

    Título original

    05. Leyes lógicas

    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 principios y leyes lógicas más importantes, incluyendo la ley de involución, las leyes de Morgan, las leyes condicionales, y las formas normales para conjunción y disyunción. Luego, proporciona una práctica con 10 problemas lógicos para simplificar fórmulas utilizando estas leyes.

    Copyright:

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

    Leyes Lógicas

    Cargado por

    avargasl
    Este documento presenta los principios y leyes lógicas más importantes, incluyendo la ley de involución, las leyes de Morgan, las leyes condicionales, y las formas normales para conjunción y disyunción. Luego, proporciona una práctica con 10 problemas lógicos para simplificar fórmulas utilizando estas leyes.

    Copyright:

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

    IESTPA - ESOFA MATEMÁTICA I PRIMER AÑO

    PROFESOR: MARCIAL SÁNCHEZ ROLDÁN MANTTO.ELECTRÓNICA

    LOS PRINCIPIOS Y LEYES LÓGICAS


    Un principio lógico es el fundamento de toda verdad lógica (tautologías). En
    cambio, una fórmula es una ley lógica si y solo si cualquiera sea la interpretación
    formalmente correcta que se haga de la misma se obtiene como resultado una
    verdad lógica, mientras que la regla lógica es una forma válida de razonamiento
    cuyo objetivo es la operatividad, permitiendo efectuar operaciones para
    transformar una fórmula o derivar una consecuencia lógica.
    LEYES LÓGICAS NOTABLES:
    Permiten transformar y simplificar fórmulas lógicas:
    1. Ley de Involución (doble 10. Leyes de absorción:
    negación): ~(~ p) Ξ p a) p ᴧ (p ᴠ q) Ξ p
    2. Ley de Idempotencia: b) p ᴧ (~ p ᴠ q) Ξ p ᴧ q
    a) p ᴠ p Ξ p c) p ᴠ (p ᴧ q) Ξ p
    b) p ᴧ p Ξ p d) p ᴠ (~ p ᴧ q) Ξ p ᴠ q
    3. Leyes conmutativas: 11. Leyes de Exportación:
    a) p ᴧ q Ξ q ᴧ p (p ᴧ q) → r Ξ p → (q→ r)
    b) p ᴠ q Ξ q ᴠ p 12. Formas normales:
    c) p ↔ q Ξ q ↔ p • Para la conjunción:
    4. Leyes asociativas: a) V ᴧ V Ξ V
    a) (p ᴧ q) ᴧ r Ξ p ᴧ (q ᴧ r) b) P ᴧ V Ξ P
    b) (p ᴠ q) ᴠ r Ξ p ᴠ (q ᴠ r) c) F ᴧ P Ξ F
    c) (p ↔ q) ↔ r Ξ p ↔ (q ↔ r) • Para la disyunción:
    5. Leyes distributivas: a) F ᴠ F Ξ F
    a) p ᴧ (q ᴠ r) Ξ (p ᴧ q) ᴠ (p ᴧ r) b) F v P Ξ P
    b) p ᴠ (q ᴧ r) Ξ (p ᴠ q) ᴧ (p ᴠ r) c) V ᴠ P Ξ V
    c) p → (q ᴧ r) Ξ (p → q) ᴧ (p → r) 13.-Elementos neutros para la
    d) p → (q ᴠ r) Ξ (p → q) ᴠ (p → r) Contradicción y Tautología:
    6. Leyes de Morgan: a) P ᴧ C Ξ C
    a) ~ (p ᴧ q) Ξ ~ p ᴠ ~ q b) C ᴠ T Ξ T
    b) ~ (p ᴠ q) Ξ ~ p ᴧ ~ q c) P v T Ξ T
    7. Leyes condicionales: d) C ᴧ T Ξ C
    a) p → q Ξ ~ p ᴠ q Dónde:
    b) ~ (p → q) Ξ p ᴧ ~ q T = Tautología (Verdad)
    8. Leyes Bicondicionales: C = Contradicción (Falso)
    a) p ↔ q Ξ (p → q) ᴧ (q → p) P=Esquema Molecular
    b) p ↔ q Ξ (p ᴧ q) ᴠ (~ p ᴧ ~q) Cualquiera
    9. Leyes de transposición: 14. Disyunción fuerte:
    a) (p → q) Ξ ~q → ~p p ∆ q Ξ ~ (p ↔q)
    b) (p ↔ q) Ξ ~q → ~p

    MDSR 1
    IESTPA - ESOFA MATEMÁTICA I PRIMER AÑO
    PROFESOR: MARCIAL SÁNCHEZ ROLDÁN MANTTO.ELECTRÓNICA

    PRÁCTICA N° 02

    1.- Simplificar el esquema: [(~ p ᴧ q) → (s ᴧ ~ s)] ᴧ ~ q

    a) ~ p ᴠ q b) ~ p c) p ᴠ ~ q d) F e) ~ q

    2.- Simplificar: ~ [~ (~ p ᴠ q) → p] ᴠ q

    a) p ᴠ ~ q b) p ᴧ q c) ~ q d) q e) p

    3.- Simplificar el esquema: [(p ᴧ ~ q) ᴧ (q → p) ᴧ r] ᴠ p

    a) p ᴠ q b) p ᴧ¨q c) p d) ~ q e) q

    4.- Simplificar el esquema: p ᴧ {q ᴠ [p → (~ p ᴧ r)]}

    a) p ᴠ ~ q b) p ᴧ q c) p d) ~ p e) q

    5.- Simplificar: [(~ p ᴧ q) → (r ᴧ ~ r)] ᴧ ~ q

    a) p ᴠ ~ q b) ~ p ᴠ q c) ~ p d) ~ q e) V

    6.- Simplificar: [(p → q) ᴧ ~ q] → ~ p

    a) p b) ~ p c) V d) F e) p ᴧ q

    7.- Simplificar el esquema: (~ p ᴧ q) → (q → p)

    a) p ᴠ q b) ~ p c) p ᴠ ~ q d) ~ q e) ~ (p ᴠ q)

    8.- La siguiente proposición: [(~ p ᴠ q) → (p ᴧ q)] ᴠ (~ p ᴧ ~ q) equivale a:

    a) ~ p ᴠ q b) ~ p ᴧ q c) p ᴠ q d) p ᴠ ~ q e) p

    9.- Simplificar el esquema: [~ (p → q) → ~ (q → p)] ᴧ (p ᴠ q)

    a) p b) q c) ~ p d) p ᴧ q e) p ᴠ q

    10.- Simplificar la proposición: [~p → (q ᴧ ~ q)] → (~ r ᴠ ~ p)

    a) ~ (p ᴧ r) b) p ᴧ ~ r c) ~ p ᴠ q d) q ᴠ ~ r e) ~ p ᴠ q ᴠ r

    MDSR 2

    También podría gustarte