Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 164 vistas

    Algebra Proposicional

    Cargado por

    roger morales lazaro
    Este documento presenta las leyes fundamentales del álgebra proposicional, incluyendo las leyes de conmutatividad, asociatividad, distribución, identidad, absorción, De Morgan, involución, idempotencia, condicional y bicondicional. También presenta ejemplos para demostrar algunas de estas leyes, como la ley de absorción, y ejercicios prácticos para aplicar las leyes del álgebra proposicional.

    Copyright:

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

    Algebra Proposicional

    Cargado por

    roger morales lazaro
    164 vistas10 páginas
    Este documento presenta las leyes fundamentales del álgebra proposicional, incluyendo las leyes de conmutatividad, asociatividad, distribución, identidad, absorción, De Morgan, involución, idempotencia, condicional y bicondicional. También presenta ejemplos para demostrar algunas de estas leyes, como la ley de absorción, y ejercicios prácticos para aplicar las leyes del álgebra proposicional.

    Descripción original:

    df

    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?

    Este documento presenta las leyes fundamentales del álgebra proposicional, incluyendo las leyes de conmutatividad, asociatividad, distribución, identidad, absorción, De Morgan, involución, idempotencia, condicional y bicondicional. También presenta ejemplos para demostrar algunas de estas leyes, como la ley de absorción, y ejercicios prácticos para aplicar las leyes del álgebra proposicional.

    Copyright:

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

    Algebra Proposicional

    Cargado por

    roger morales lazaro
    Este documento presenta las leyes fundamentales del álgebra proposicional, incluyendo las leyes de conmutatividad, asociatividad, distribución, identidad, absorción, De Morgan, involución, idempotencia, condicional y bicondicional. También presenta ejemplos para demostrar algunas de estas leyes, como la ley de absorción, y ejercicios prácticos para aplicar las leyes del álgebra proposicional.

    Copyright:

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

    ESTRUCTURAS DISCRETAS

    LEYES DEL LGEBRA


    PROPOSICIONAL

    Mg. RONDN RAMREZ


    Carlos Vctor
    LGEBRA PROPOSICIONAL
    Las frmulas lgicas resultan ser siempre verdaderas,
    no importa la combinacin de los valores veritativos
    de sus componentes, son tautolgicas o leyes
    lgicas. En el clculo proposicional existen algunas
    tautologas especialmente tiles cuya demostracin
    se reduce a la confeccin de su correspondiente tabla
    de verdad, es decir est formada por equivalencias
    lgicas, las cuales nos permiten simplificar un
    problema y expresarlo en forma ms sencilla.
    lgebra Proposicional Leyes
    Sean p, q y s 4. Ley de Identidad:
    proposiciones. p Vp
    1. Conmutativa:
    p FF
    pqqp p VV
    pqqp p Fp

    2. Asociativa: 5. Absorcin:
    p (p q) p
    (p q) s p (q s) q (p q) p
    (p q) s p (q s)

    3. Distributiva
    6. De Morgan
    (p q) s (p s) (q (p q) s ( p s)
    s) s
    (p q) s (p s) (q (p q) s ( p s)
    s) s
    Leyes
    INVOLUCIN O DOBLE NEGACIN

    IDEMPOTENCIA

    LEY CONDICIONAL

    LEY BICONDICIONAL

    LEY DEL TERCIO EXCLUIDO


    lgebra Proposicional Ejercicios
    Ejercicios
    lgebra Proposicional Leyes
    Sean p, q y s 4. Vamos a demostrar la
    proposiciones. ley de absorcin: p (p
    7. Acotacin
    q) p
    p (p q)
    pFF
    V V V V V
    pVV
    V V V V F
    8. Complementacin F F F V V
    p p Verdadero (V)
    F F F F F
    p p Falso (F)

    p p
    Si se dan cuenta, esta
    F V V V
    columna tiene los
    V V V F mismos valores de p que
    es la conclusin de la
    Tautolog proposicin
    a
    lgebra Proposicional Leyes

    Simplificar: (p q) (q p)] p

    a. Tablas de la verdad
    b. Leyes del lgebra proposicional
    c. Es tautologa?

    [ (p q) (q p)] p

    F V V V F F V V V V

    V V F F V V V V V V

    F F V V F F F F F F

    V F V V V V V F V F
    GRACIA
    S

    También podría gustarte