Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 235 vistas

    Sesion 2. Leyes Logicas

    Cargado por

    Lunita Thommy
    Este documento presenta la lección sobre equivalencia lógica en matemáticas. Explica que dos proposiciones son equivalentes cuando sus tablas de verdad son iguales, y que esto se indica con el conectivo de equivalencia (≡). A continuación, enumera diez leyes lógicas comúnmente usadas, como la ley de doble negación y las leyes de De Morgan. Finalmente, proporciona ejemplos para aplicar estas leyes y simplificar fórmulas lógicas.

    Copyright:

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

    Sesion 2. Leyes Logicas

    Cargado por

    Lunita Thommy
    235 vistas3 páginas
    Este documento presenta la lección sobre equivalencia lógica en matemáticas. Explica que dos proposiciones son equivalentes cuando sus tablas de verdad son iguales, y que esto se indica con el conectivo de equivalencia (≡). A continuación, enumera diez leyes lógicas comúnmente usadas, como la ley de doble negación y las leyes de De Morgan. Finalmente, proporciona ejemplos para aplicar estas leyes y simplificar fórmulas lógicas.

    Descripción original:

    hhhhhh

    Título original

    Sesion_2._Leyes_logicas (1)

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

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

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Este documento presenta la lección sobre equivalencia lógica en matemáticas. Explica que dos proposiciones son equivalentes cuando sus tablas de verdad son iguales, y que esto se indica con el conectivo de equivalencia (≡). A continuación, enumera diez leyes lógicas comúnmente usadas, como la ley de doble negación y las leyes de De Morgan. Finalmente, proporciona ejemplos para aplicar estas leyes y simplificar fórmulas lógicas.

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Descargar como docx, pdf o txt
    235 vistas3 páginas

    Sesion 2. Leyes Logicas

    Cargado por

    Lunita Thommy
    Este documento presenta la lección sobre equivalencia lógica en matemáticas. Explica que dos proposiciones son equivalentes cuando sus tablas de verdad son iguales, y que esto se indica con el conectivo de equivalencia (≡). A continuación, enumera diez leyes lógicas comúnmente usadas, como la ley de doble negación y las leyes de De Morgan. Finalmente, proporciona ejemplos para aplicar estas leyes y simplificar fórmulas lógicas.

    Copyright:

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

    MATEMÁTICA I

    Prof. Carlos Choque Córdova.

    Lección N° 02-. Equivalencia lógica


    PROPÓSITO DE APRENDIZAJE. Con estas experiencias de aprendizaje, las y los
    estudiantes lograrán identificar las leyes lógicas comprobando su validez tautológica
    mediante tablas de verdad y aplicarlas en la simplificación de esquemas moleculares.

    En todas las áreas de las matemáticas necesitamos mecanismos para saber cuándo dos
    entidades son iguales o esencialmente las mismas. En la lógica proposicional este concepto
    se llama equivalencia y se da entre dos proposiciones cuando ambas siempre tienen el
    mismo valor de verdad para una misma asignación de valores de verdad de las
    proposiciones que las componen.

    Una proposición es lógicamente equivalente a otra cuando sus tablas de verdad son
    exactamente iguales, es decir, cuando las dos tablas de verdad al estar unidas con el
    conectivo (↔), resultan ser una tautología. En tal caso, el conectivo de bicondicional se
    sustituye por el de equivalencia (≡¿

    Ejemplo: Si A representa a la fórmula: ( p ∨ q), y B representa a la fórmula (∼ p ∧ q),


    al elaborar sus tablas de verdad tenemos:
    p ( p ∨ q) ∼ p∧ q [ ( p ∨ q ) ] ↔ ¿]
    q
    v f v f f f f v f
    v
    v f f v f f v f v f
    f v f v v f f f v f
    f f v f v v v v v v

    Observamos que A ↔ B resultaría una tautología, por lo tanto se escribe A ≡ B, es decir existe
    una equivalencia lógica entre dichas fórmulas.

    Existe un conjunto de equivalencias lógicas que es usado con mucha frecuencia en los
    procesos de razonamiento y comúnmente se les llama ≪ leyes de la lógica≫

    Leyes de la lógica proposicional


    1. Ley de involución o de la doble negación: ( p) ≡ p
    2. Ley de idempotencia: p∧ p ≡ p p∨ p ≡ p
    3. Leyes conmutativas: p ∧q ≡ q ∧ p p ∨q ≡ q ∨ p
    4. Leyes asociativas: (p∨ q ¿∨ r ≡ p ∨( q ∨r ); (p∧ q ¿∧ r ≡ p ∧(q ∧r )
    5. Leyes distributivas: p ∨(q ∧r ) ≡ (p∨ q ¿∧(p∨r ¿ ; p ∧( q ∧r ) ≡ (p∧ q ¿∨(p∧r ¿
    MATEMÁTICA I
    Prof. Carlos Choque Córdova.

    6.Leyes de absorción; p ∨( p ∧r ) ≡ p; p ∧( p ∨r ) ≡ p
    p ∨( p ∧r ) ≡ p ∨r ; p ∧( p ∨r ) ≡ p ∧r
    7. Leyes de De Morgan: ( p ∧q ) ≡ p ∨ q ( p ∨q ) ≡ p ∧ q
    8. Ley condicional: p →q ≡ p ∨ q
    9. Ley bicondicional: p⟷ q ≡ ( p → q)∧(q → p)
    10. Otras leyes: p ∨ ( p ) ≡T donde T representa a una tautología. (v)
    p ∧ ( p ) ≡C , donde C representa a una contradicción (f)
    p ∧(v )≡ p; p ∧(f ) ≡ f ; p ∨(v )≡ v; p ∨(f ) ≡ p
    Ejemplo desarrollado.
    Determine mediante la aplicación de leyes lógicas, si la fórmula: [p ∧¿ → q ¿ ¿ →q es una
    tautología, contradicción o contingencia.
    Solución. Dada la fórmula: [p ∧¿ → q ¿ ¿ →q
    Paso 1. [p ∧¿ ∨ q ¿ ¿ ∨ q (ley condicional)
    paso 2. [ p ∧ q ] ∨q (ley de absorción.)
    paso 3. ( p∨ q¿∨q (ley de De Morgan)
    paso 4. p ∨ ( q ∨ q) (ley asociativa)
    paso 5. p ∨(T ) (ley de tautología)
    paso 6. (T) (ley disyuntiva)

    Se ha demostrado que la fórmula lógica : [p ∧¿ → q ¿ ¿ →q es una tautología.


    Esto mismo se podría comprobar utilizando tablas de verdad.

    ACTIVIDADES DE APRENDIZAJE.

    Simplifique cada fórmula, aplicando las leyes lógicas, indicando la ley está utilizando en
    cada paso lógico seguido.
    a) [p→ (q → p ¿ ¿ → q
    b) {( p∧ q)→ p }∨ q
    c) ¿ ∧ ¿ q ¿ ¿ → [q ∨ ( p ∧ q ¿ ¿
    d) [( q → p ¿ →( p ∨ q) ¿ ∧ ( p ∧q )
    e) ( p ∨ q ¿ ∧[ p ∧(q → p)]
    f) ( p ∧q ¿ → (q → p ¿
    g) [( p → q) →( p ∧q)¿ ∨( p ∧ r)
    h) [( p → r) → p ¿ ∧[ p → ( p ∧ q ) ]
    MATEMÁTICA I
    Prof. Carlos Choque Córdova.

    También podría gustarte