Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 2K vistas

    Leyes de Inferencia

    Cargado por

    Alisha Campbell
    Este documento presenta las principales leyes de la lógica proposicional, incluyendo leyes de identidad, equivalencia, implicación y otras reglas lógicas como el dilema, la reducción al absurdo y el silogismo disyuntivo. Se definen operadores lógicos como la negación, conjunción, disyunción y condicional y se establecen sus propiedades y relaciones a través de estas leyes formales.

    Copyright:

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

    Leyes de Inferencia

    Cargado por

    Alisha Campbell
    2K vistas1 página
    Este documento presenta las principales leyes de la lógica proposicional, incluyendo leyes de identidad, equivalencia, implicación y otras reglas lógicas como el dilema, la reducción al absurdo y el silogismo disyuntivo. Se definen operadores lógicos como la negación, conjunción, disyunción y condicional y se establecen sus propiedades y relaciones a través de estas leyes formales.

    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?

    Este documento presenta las principales leyes de la lógica proposicional, incluyendo leyes de identidad, equivalencia, implicación y otras reglas lógicas como el dilema, la reducción al absurdo y el silogismo disyuntivo. Se definen operadores lógicos como la negación, conjunción, disyunción y condicional y se establecen sus propiedades y relaciones a través de estas leyes formales.

    Copyright:

    © All Rights Reserved
    Descargue como DOC, PDF, TXT o lea en línea desde Scribd
    Descargar como doc, pdf o txt
    2K vistas1 página

    Leyes de Inferencia

    Cargado por

    Alisha Campbell
    Este documento presenta las principales leyes de la lógica proposicional, incluyendo leyes de identidad, equivalencia, implicación y otras reglas lógicas como el dilema, la reducción al absurdo y el silogismo disyuntivo. Se definen operadores lógicos como la negación, conjunción, disyunción y condicional y se establecen sus propiedades y relaciones a través de estas leyes formales.

    Copyright:

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

    LEYES DE INFERENCIA LOGICA

    PRINCIPIOS LGICOS
    Identidad
    P V P ; P F F
    P V V ; P F P
    P

    V V; P

    F P
    V

    P P; F

    P V
    P

    V P; P

    F -P
    Doble negacin o involucin
    ( P ) P
    De Identidad
    P

    P V
    P

    P V
    P

    -P F
    Comlementacin
    No cont!adiccin
    ( P P ) F
    Comlementacin
    "e!ce! e#cluido
    ( P P ) V
    LEYES DE E$%I&ALENCIA
    Conmutativa
    ( P Q ) ( Q P )
    ( P Q ) ( Q P )
    ( P

    Q ) ( Q

    P )
    A'ociativa
    ( P Q ) R P ( Q R )
    ( P Q ) R P ( Q R )
    ( P

    Q )

    R P

    ( Q

    R )
    Di't!ibutiva
    P ( Q R )

    ( P Q ) ( P R )
    P ( Q R )

    ( P Q ) ( P R )
    P ( Q R )

    ( P Q ) ( P R )
    P ( Q R )

    ( P Q ) ( P R )
    "!an'o'icin
    ( P

    Q ) ( Q

    P )
    ( P

    Q ) ( Q

    P )
    Condicional Con(untivo
    ( P

    Q ) ( P Q )
    Condicional Di')untivo
    ( P

    Q ) ( P Q )
    *icondicional
    ( P

    Q ) ( P

    Q ) ( Q

    P )
    *icondicional Di')uncin E#clu'iva
    ( P

    Q ) ( P

    Q )
    Le) de +o!gan
    ( P Q ) ( P Q )
    ( P Q ) ( P Q )
    Idemotencia
    ( P P ) P
    ( P P ) P
    LEYES DE I+PLICACIN
    +odu' Ponendo Ponen' ,+PP-
    [ ( P

    Q ) P ]

    Q
    +odu' "ollendo "ollen' ,+""-
    [ ( P

    Q ) Q ]

    P
    +odu' "ollendo Ponen' ,+"P-
    [ ( P Q ) P ]

    Q
    [ ( P Q ) Q ]

    P
    Silogi'mo .iot/tico
    [ ( P

    Q ) ( Q

    R ) ]

    ( P

    R )
    Reduccin Al Ab'u!do
    [(P Q) ( P

    Q)]

    P
    Silogi'mo Di')untivo
    { [(P Q) ( R T)] (P v R) } (Q v T)
    Simli0icacin
    ( P Q )

    P
    ( P Q )

    Q
    Ad(uncin
    P, Q

    ( P Q )
    Adicin
    P

    ( P Q )
    Dilema
    { [ ( P

    Q) (P

    Q) ] (QQ) }

    (PP)
    Le) de Ab'o!cin
    P ( P Q )

    P
    P ( P Q )

    P
    Dilema Con't!utivo
    { [ ( P

    Q) (R

    S) ] (PR) }

    (QS)

    También podría gustarte