Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 10 vistas

    Lógica Proposicional

    Cargado por

    edin cay sanchez
    Listo

    Copyright:

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

    Lógica Proposicional

    Cargado por

    edin cay sanchez
    10 vistas2 páginas
    Listo

    Título original

    lógica proposicional

    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?

    Listo

    Copyright:

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

    Lógica Proposicional

    Cargado por

    edin cay sanchez
    Listo

    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

    UNMSM-CENTRO PREUNIVERSITARIO Ciclo 2020-I

    ˗ Si una proposición lógica no es una tautología ni una contradicción es una


    Contingencia (C).

    TABLAS DE VALORES DE VERDAD

    1) Negación. Se denota mediante el 4) Disyunción fuerte


    símbolo “~” y se lee “no es cierto
    que…” o “es falso que…”. p q pq

    p ~p V V F
    V F V
    V F F V V
    F V F F F

    2) Conjunción 5) Condicional

    p q pq p q pq

    V V V V V V
    V F F V F F
    F V F F V V
    F F F F F V

    3) Disyunción débil 6) Bicondicional

    p q pq p q pq

    V V V V V V
    V F V V F F
    F V V F V F
    F F F F F V

    Semana Nº 1 (Prohibida su reproducción y venta) Pág. 2


    UNMSM-CENTRO PREUNIVERSITARIO Ciclo 2020-I

    PRINCIPALES EQUIVALENCIAS E IMPLICANCIAS LÓGICAS


    (LEYES DEL ÁLGEBRA PROPOSICIONAL)

    1) Involución o Doble Negación 10) Ley de La Condicional

    ~ (~ p) ≡ p a) pq≡~pq
    b) ~ (p  q) ≡ p  ~ q
    2) Idempotencia
    11) Ley de La Contrarrecíproca
    a) (p  p) ≡ p
    b) (p  p) ≡ p pq≡~q~p
    3) Conmutativa 12) Ley de La Bicondicional
    a) (p  q) ≡ (q  p)
    a) (p  q) ≡ [(p  q)  (q  p)]
    b) (p  q) ≡ (q  p)
    b) (p  q) ≡ [(~ p  q)  (~ q  p)]
    4) Asociativa c) (p  q) ≡ [(~ p  ~ q) v (p  q)]
    d) (p  q) ≡ [~ (p  q) v (p  q)]
    a) [(p  q)  r] ≡ [p  (q  r)]
    b) [(p  q)  r] ≡ [p  (q  r)] 13) Ley de la Disyunción Fuerte

    5) Distributiva a) p  q ≡ ~ (p  q)≡ (~ p  q)
    b) p  q ≡ (p  q)  ~ (p  q)
    a) [(p  q)  r] ≡ [(p  r) v (q  r)] c) pV≡~p
    b) [(p  q)  r] ≡ [(p  r)  (q  r)]

    6) Leyes de De Morgan

    a) ~ (p  q) ≡ (~ p  ~ q)
    b) ~ (p  q) ≡ (~ p  ~ q)

    7) Ley de la Identidad

    a) (p  V) ≡ p b) (p  F) ≡ F
    c) (p  V) ≡ V d) (p  F) ≡ p

    8) Ley del Complemento

    a) (p  ~ p) ≡ F
    b) (p  ~ p) ≡ V

    9) Leyes de Absorción

    a) [p  (p  q)] ≡ p
    b) [p  (p  q)] ≡ p
    c) [p  (~ p  q)] ≡ (p  q)
    d) [p  (~ p v q)] ≡ (p  q)

    Semana Nº 1 (Prohibida su reproducción y venta) Pág. 3

    También podría gustarte