Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 28 vistas

    Simplificacion de Proposiciones 2

    Cargado por

    David_1959
    El documento explica cómo simplificar proposiciones lógicas mediante el uso de axiomas y leyes lógicas como la implicación material, ley de Morgan, distribución, complemento y otros. Proporciona ejemplos detallados de la simplificación de varias expresiones lógicas.

    Copyright:

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

    Simplificacion de Proposiciones 2

    Cargado por

    David_1959
    28 vistas2 páginas
    El documento explica cómo simplificar proposiciones lógicas mediante el uso de axiomas y leyes lógicas como la implicación material, ley de Morgan, distribución, complemento y otros. Proporciona ejemplos detallados de la simplificación de varias expresiones lógicas.

    Título original

    simplificacion-de-proposiciones-2.doc

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

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

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    El documento explica cómo simplificar proposiciones lógicas mediante el uso de axiomas y leyes lógicas como la implicación material, ley de Morgan, distribución, complemento y otros. Proporciona ejemplos detallados de la simplificación de varias expresiones lógicas.

    Copyright:

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

    Simplificacion de Proposiciones 2

    Cargado por

    David_1959
    El documento explica cómo simplificar proposiciones lógicas mediante el uso de axiomas y leyes lógicas como la implicación material, ley de Morgan, distribución, complemento y otros. Proporciona ejemplos detallados de la simplificación de varias expresiones lógicas.

    Copyright:

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

    SIMPLIFICACIN DE PROPOSICIONES

    La simplificacin de una proposicin, o dicho de otra manera, la simplificacin


    de una expresin lgica consiste en reducir la expresin lgica a una forma ms simple
    mediante el uso de los axiomas y/o leyes lgicas.
    La simplificacin consiste en ir desarrollando la expresin paso a paso
    mediante la sustitucin en cada paso de una expresin lgica equivalente a la anterior,
    hasta llegar a una expresin lgica irreducible.
    A travs de la simplificacin podemos tambin demostrar una equivalencia
    lgica sin usar tablas de verdad.

    1.- Simplificar la expresin:

    [(p p) q] [q (r q)] [p (p q)] Recuerde Ubicar la ley que utiliza

    [(p p) q] [q (r q)] [p (p q)] Impla. Material

    [(p p) q] [q (r q)] [(p p) q] Asociativa

    (v q) [q (r q)] (v q) Complemento

    v [q (r q)] v Dominancia

    v v [q (r q)] Asociativa

    v [q (r q)] Idempotencia

    q (r q) Elemento Neutro

    (q r) (q q) Distributiva

    (q r) v Complemento

    q r Elemento Neutro

    2.-Simplificar

    [(p q) (p q)] (p q)

    [(p q) (p q)] (p q) Ley de Morgan

    [p (q q)] (p q) Distributiva

    (p v) (p q) Complemento

    p (p q) Elemento Neutro

    (p) (p q) Implicacin Material


    p (p q) Doble Negacin

    (p p) (p q) Distributiva

    v (p q) Complemento

    pq Elemento Neutro

    3. [(P Q) P ] Q

    [ (P v Q) v P ] v Q Implicacin Material
    [ (P v Q) P ] v Q Morgan
    [ (P v Q) P ] v Q Doble Negacin
    [ P (P v Q) ] v Q Conmutativa
    [ (P P ) v (P Q) ] v Q Distributiva
    [ F v (P Q) ] v Q Complemento
    (P Q) v Q Elemento Neutro
    Q v (P Q) Conmutativa
    (Q v P) (Q v Q) Distributiva
    (Q v P) V Complemeto
    (Q v P) Elemento Neutro

    4. [(P Q) R] v [P (Q R)]

    [ (P Q) v R] v [P v (Q v R)] Implicacin Material


    [(P v Q) v R] v [P v (Q v R)] Morgan
    P v Q v R v P v Q v R
    (P v P) v (Q v Q) v (R v R) Asociacin
    P v Q v R Idempotencia
    (P Q R) Morgan

    También podría gustarte