Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 10 vistas

    Equivalencias Notables Inicial 01 05 2024

    Cargado por

    Miguel BQ
    El documento presenta varias equivalencias lógicas y leyes de la lógica proposicional como la doble negación, idempotencia, conmutativa, asociativa, distributiva, Morgan, condicional y bicondicional. Luego propone ejercicios para simplificar proposiciones utilizando dichas equivalencias.

    Copyright:

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

    Equivalencias Notables Inicial 01 05 2024

    Cargado por

    Miguel BQ
    10 vistas4 páginas
    El documento presenta varias equivalencias lógicas y leyes de la lógica proposicional como la doble negación, idempotencia, conmutativa, asociativa, distributiva, Morgan, condicional y bicondicional. Luego propone ejercicios para simplificar proposiciones utilizando dichas equivalencias.

    Descripción original:

    mmmmm

    Título original

    Equivalencias notables inicial 01 05 2024

    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?

    El documento presenta varias equivalencias lógicas y leyes de la lógica proposicional como la doble negación, idempotencia, conmutativa, asociativa, distributiva, Morgan, condicional y bicondicional. Luego propone ejercicios para simplificar proposiciones utilizando dichas equivalencias.

    Copyright:

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

    Equivalencias Notables Inicial 01 05 2024

    Cargado por

    Miguel BQ
    El documento presenta varias equivalencias lógicas y leyes de la lógica proposicional como la doble negación, idempotencia, conmutativa, asociativa, distributiva, Morgan, condicional y bicondicional. Luego propone ejercicios para simplificar proposiciones utilizando dichas equivalencias.

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Descargar como docx, pdf o txt
    Está en la página 1de 4

    Equivalencias notables

    Doble negación

    ( p) ≡ p
    Idempotencia

    p∧ p≡ p
    p∨ p≡ p
    Conmutativa

    p ∨q ≡ q ∨ p
    p ∧q ≡ q ∧ p
    p ↔ q ≡q ↔ p

    Asociativa

    p ∧ ( q ∧ r ) ≡ ( p ∧q ) ∧ r

    p ∨ ( q ∨ r ) ≡ ( p ∨q ) ∨ r

    Distributiva

    p ∧ ( q ∨ r ) ≡ ( p ∧q ) ∨ ( p ∧ r )

    p ∨ ( q ∧ r ) ≡ ( p ∨q ) ∧ ( p ∨ r )

    Morgan

    ( p ∧q ) ≡ p ∨ q
    ( p ∨q ) ≡ p ∧ q

    Condicional

    p → q ≡ p ∨q

    Bicondicional

    p ↔ q ≡ ( p →q ) ∧ ( q → p )
    Absorción

    p ∧ ( p ∨q ) ≡ p
    p ∨ ( p ∧q ) ≡ p
    p ∨ ( p ∧q ) ≡ p ∨ q
    p ∧ ( p ∨q ) ≡ p ∧ q

    Leyes adicionales

    1. p∨F≡P

    2. p ∨V ≡V

    3. p ∧V ≡ p

    4. p∧F≡F

    5. p∧ p≡F

    Ejercicios

    Simplificar las proposiciones usando las equivalencias notables


    1. [( p ∧q ) → ( s ∧ s ) ] ∧ q

    [( p ∧q ) → F ] ∧ q ……… leyes adicionales p ∧ p ≡ F

    [ ( p ∧q ) ∨ F ] ∧ q ……… condicional p → q ≡ p ∨q

    [( p ∨ q ) ∨ F ] ∧ q …….morgan ( p ∧q ) ≡ p ∨ q

    [( p ∨ q )∨ F ] ∧ q …….doble negación

    [ p∨ q ] ∧ q …… leyes adicionales p ∨ F ≡ P

    [ q ∨ p ] ∧ q …….conmutativa
    q ∧ [ q ∨ p ] ……..conmutativa
    q ………absorción p ∧ ( p ∨q ) ≡ p

    2. ( p ∨q ) → q
    ( p ∨q ) ∨ q …… condicional
    ( p ∧ q ) ∨ q …. Morgan
    ( p ∧ q ) ∨ q ………doble negación
    q ……….absorción

    3. [ ( p∨ q ) → p ] ∨ q

    [ { ( p ∨q ) } ∨ p ] ∨q …..condicional

    [ {( p ∧ q ) } ∨ p ] ∨ q…..morgan

    [ {( p ∧ q ) } ∨ p ] ∨q ….doble negación

    [( p ∨ q ) ∨ p ] ∨ q…….morgan

    [( p ∨q ) ∨ p ] ∨ q…..doble negación

    [ ( p ∨q ) ∧ p ] ∨ q…….morgan

    [( p ∧ q ) ∧ p ]∨ q …….morgan

    [( p ∧ q )∧ p]∨ q ….doble negación

    ( F ∧ q ) ∨q ……….leyes adicionales

    ……absorción
    ( F ∨ q)
    q ………… leyes adicionales

    TAREA
    Simplificar las siguientes proposiciones utilizando las
    equivalencias notables
    I. ( m→ n ) ∧ ( n→ m )
    II. [ s ∨ ( t ∧ r ) ] → [ s → ( s ∧t ) ]
    III. [ ( p ∨ q )→ p] ∧ ( p ↔ q )
    IV. ( m ↔n ) ∧ ( n↔ m )
    4. Sfd
    5. F
    6.

    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