Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 66 vistas

    Formulario - Lógica Proposicional

    Cargado por

    Andrea Padilla
    Este documento presenta los conceptos básicos de la lógica proposicional, incluyendo operaciones como la negación, conjunción, disyunción, implicación y bicondicional. Explica las tablas de verdad y define términos como tautología, contradicción y contingencia. También describe las leyes lógicas como las leyes de De Morgan y las reglas de inferencia como el modus ponens, modus tollens y el dilema constructivo.

    Copyright:

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

    Formulario - Lógica Proposicional

    Cargado por

    Andrea Padilla
    66 vistas2 páginas
    Este documento presenta los conceptos básicos de la lógica proposicional, incluyendo operaciones como la negación, conjunción, disyunción, implicación y bicondicional. Explica las tablas de verdad y define términos como tautología, contradicción y contingencia. También describe las leyes lógicas como las leyes de De Morgan y las reglas de inferencia como el modus ponens, modus tollens y el dilema constructivo.

    Descripción original:

    Formulario

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Este documento presenta los conceptos básicos de la lógica proposicional, incluyendo operaciones como la negación, conjunción, disyunción, implicación y bicondicional. Explica las tablas de verdad y define términos como tautología, contradicción y contingencia. También describe las leyes lógicas como las leyes de De Morgan y las reglas de inferencia como el modus ponens, modus tollens y el dilema constructivo.

    Copyright:

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

    Formulario - Lógica Proposicional

    Cargado por

    Andrea Padilla
    Este documento presenta los conceptos básicos de la lógica proposicional, incluyendo operaciones como la negación, conjunción, disyunción, implicación y bicondicional. Explica las tablas de verdad y define términos como tautología, contradicción y contingencia. También describe las leyes lógicas como las leyes de De Morgan y las reglas de inferencia como el modus ponens, modus tollens y el dilema constructivo.

    Copyright:

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

    OPREACIONES PROPOSICIONALES TABLA DE VALORES DE VERDAD

    NEGACIÓN El número de filas de la tabla depende del número de proposiciones


    simples diferentes “n”, tal que depende de la formula 2 n
    p ~p
    V F Ejemplo:
    F V
    Construir la tabla de verdad de: ~q ∧ (~p → q)

    CONJUNCIÓN p q ~q ∧ (~p → q)
    V V F F F V V
    p q p∧q V F V V F V F
    V V V F V F F V V V
    V F F F F V F V F F
    F V F
    F F F
    TAUTOLOGIA: Es verdad para cualquier valor de verdad
    de las proposiciones.
    DISYUNCIÓN CONTRACCION: Es falsa para cualquier valor de verdad de
    las proposiciones.
    p q p ∨q CONTINGENCIA: No es ni una tautología ni una contracción.
    V V V
    V F V
    F V V LEYES LÓGICAS
    F F F
    Ley de idempotencia: p∧p≡p ; p∨p≡p
    IMPLIACIÓN O CONDICIONAL Leyes conmutativas: p∧q≡q∧p ; p∨q≡q∨p
    (p ∧ q) ∧ r ≡ p ∧ (q ∧ r)
    p q p→q Leyes asociativas:
    (p ∨ q) ∨ r ≡ p ∨ (q ∨ r)
    V V V ~(~p) ≡ p
    V F F Leyes de negación:
    p ∧ ~p ≡ F ; p ∨ ~p ≡ V
    F V V Leyes de identidad: p∧V≡p ; p∨F≡p
    F F V ~(p ∧ q) ≡ ~p ∨ ~q
    Leyes de Morgan:
    ~(p ∨ q) ≡ ~p ∧ ~q
    p → q ≡ ~p ∨ q
    DOBLE IMPLICACIÓN O BICONDICIONAL Ley de implicación:
    p → q ≡ ~q→~p
    p q p↔q p∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
    Leyes distributivas:
    V V V p∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
    V F F Absorción total:
    F V F p ∧ (p ∨ q) ≡ p
    F F V p ∨ (p ∧ q) ≡ p
    p∧F≡F
    Leyes de absorción:
    p∨V≡V
    DISYUNCIÓN EXCLUSIVA Absorción parcial:
    ~p ∧ (p ∨ q) ≡ ~p ∧ q
    p q p⊻q
    ~p ∨ (p ∧ q) ≡ ~p ∨ q
    V V F
    Ley de Doble p ↔ q ≡ (p → q) ∧ (q → p)
    V F V
    implicación: p ↔ q ≡ ~ (p ⊻ q)
    F V V
    F F F
    CIRCUITOS LÓGICOS REGLAS DE INFERENCIA
    1) MODUS PONENDO PONENS (PP):

    p → q
    p
    P
    p
    Otra forma:
    p=V
    p ∨ q
    p=F ~P
    p

    2) MODUS TOLENDO TOLLENS (TT):


    CIRUITOS EN SERIE
    p → q
    ~q
    p q ~p
    Otra forma:

    p ∨ q
    Euivalente: p ∧ q ~q
    CIRCUITOS EN PARALELO p
    p
    3) LEY DE SILOGISMO HIPOTÉTICO (SH):

    p → q
    q → r
    p → r

    q 4) DILEMA CONSTRUCTIVO (DC):

    p → q
    Euivalente: p ∨ q r → t
    p ∨ r
    INFERENCIA LÓGICA q ∨ t
    Forma vertical:

    P1 5) DILEMA DESTRUCTIVO (DD):


    P2
    Premisas p → q
    ⋮
    Pn r → T
    Q Conclusión ~q ∨ ~t
    ~p v ~r
    Forma horizontal:

    (P1∧ P1∧…∧ P1) → Q

    NOTA: La implicación es una tautología

    También podría gustarte