Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 70 vistas

    Log Proposicional para La Clase PDF

    Cargado por

    Yoel Sai Quispe Llamo
    La lógica proposicional describe las operaciones básicas sobre proposiciones como la negación, conjunción, disyunción, implicación y bicondicional. Presenta las tablas de verdad de las proposiciones compuestas básicas y expone las leyes y propiedades de la lógica proposicional como la doble negación, idempotencia, conmutatividad, asociatividad, distribución, de Morgan y absorción.

    Copyright:

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

    Log Proposicional para La Clase PDF

    Cargado por

    Yoel Sai Quispe Llamo
    70 vistas2 páginas
    La lógica proposicional describe las operaciones básicas sobre proposiciones como la negación, conjunción, disyunción, implicación y bicondicional. Presenta las tablas de verdad de las proposiciones compuestas básicas y expone las leyes y propiedades de la lógica proposicional como la doble negación, idempotencia, conmutatividad, asociatividad, distribución, de Morgan y absorción.

    Título original

    LOG PROPOSICIONAL PARA LA CLASE.pdf

    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?

    La lógica proposicional describe las operaciones básicas sobre proposiciones como la negación, conjunción, disyunción, implicación y bicondicional. Presenta las tablas de verdad de las proposiciones compuestas básicas y expone las leyes y propiedades de la lógica proposicional como la doble negación, idempotencia, conmutatividad, asociatividad, distribución, de Morgan y absorción.

    Copyright:

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

    Log Proposicional para La Clase PDF

    Cargado por

    Yoel Sai Quispe Llamo
    La lógica proposicional describe las operaciones básicas sobre proposiciones como la negación, conjunción, disyunción, implicación y bicondicional. Presenta las tablas de verdad de las proposiciones compuestas básicas y expone las leyes y propiedades de la lógica proposicional como la doble negación, idempotencia, conmutatividad, asociatividad, distribución, de Morgan y absorción.

    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

    LOGICA PROPOSICIONAL

     PROPOSICIONES COMPUESTAS BÁSICAS

    p q ~p pq p q p q pq pq

    V V F V V V V V

    V F F F V F F F

    F V V F V F V F

    F F V F F V V V

     LEYES DE LA LOGICA PROPOSICIONAL

    Involución o doble negación pF  p


    ~(~ p )  p p V  V
    De Idempotencia:
    ppp Del Complemento:
    p pp p ~ p  F
    Conmutativa: p~ p V
    pqqp
    p qq p
    De Absorción:
    p q q p
    p   p  q  p
    Asociativa:
     p  q   r  p  q  r  p   p  q  p
     p  q  r  p  q  r  p  (~ p  q )  p  q
    Distributiva: p  (~ p  q )  p  q
    p  q  r    p  q    p  r 
    p  q  r    p  q    p  r 
    Adicionales:
    p  q ~ p  q
    De De-Morgan: p q  q  p
    ~  p  q  ~ p  ~ q
    ~  p  q  ~ p  ~ q Ley de la bicondicional
    Ley de la identidad ( p  q)   p  q    q  p 
    pF  F  p  q    p  q    p  q 
    p V  p

    Clases de esquema molecular:


    TAUTOLOGIA en su tabal de verdad en todos los casos se obtiene verdadero

    CONTRADICCION En su tabla de verdad en todos los casos se obtiene falso

    CONTINGENCIA O En su tabla de verdad al menos hay un verdadero y un falso.


    CONTINGENTE
    PROBLEMAS

    1. Representar simbólicamente el siguiente a)  p  q   p  q


    enunciado:
    “No es el caso que, Juan estudie y trabaje” b)  p  q    p q 
    p: Juan estudia c)  p  q    p  q 
    q: Juan trabaja
    d)  p  q   p
    a)  p  q b) pq e)  p  q    p q 
    c) p q d) pq
    e)  p  q 7. Hallar la proposición más simple equivalente
    a:

    2. Elabore la tabla de verdad de la siguiente


      p  q   p  q     p q 
    proposición compuesta: a) p b) p  q c) p  q
     p  q  q  p d) q e) q  p
    a) VVVV b) FVVV
    c) VFFV c) FVVF 8. Elabore la tabla de verdad de la siguiente
    e) FVFV proposición compuesta:
     p  q   q  p 
    3. Si la proposición compuesta: a) FFVV b) FVVV C) VFFV
     p q   r , es falsa; determinar el valor d) VVFF e) FVFV
    de verdad de las proposiciones p, q y r
    a) VVV b) FVF c) VFV 9. Si la proposición es falsa:
    c) FFF e) VFF ~ (p  ~ q)  (~ r  s)
    Se deduce que el valor de verdad de los
    4. Sean p, q y r tres proposiciones tales que p es esquemas moleculares son:
    verdadera, q es falsa y r es falsa. Indicar  (~ p  ~ q)  (~ q)
    cuáles de las siguientes proposiciones son  [(~ r  q)]  [(~ q  r)  s]
    verdaderas:  (p  q)  [(p  q)  ~ q]
    a) ( p  q)  r
    a) VFV b) FFF c) VVV
    b) ( ~ p)  ( q  r ) d) FFV e) VVF
    c) (~ p) ~ q  ( p ~ r )  (q  r )
    a) VVF b) VVV c) VFF 10. En cuales de los siguientes casos es
    d) FFF e) FFV suficientes la información para conocer el valor
    de verdad de las proposiciones
    5. Dadas las proposiciones correspondientes:
    q: "4 es un número impar,  (p  q)  (~ p  ~ q); (q) = V
    además  ( p  q)  (p  r); (p) = V y (r) = F
    ~ [(r  q)  (r  p)] es verdadera; hallar el  [p  (q  r)];  (q  r) = V
    valor de los siguientes esquemas  (p  q)  r;  (r) = V
    moléculas: OBS:
     r  (~ p  ~ q) (q) = V : SIGNIFICA EL VALOR DE
     [r  (p  q)]  (q  ~ p) VERDAD DE q ES V
     (r  ~ p)  (q  p)
    a) VVF b) FFF c) VVV a) 1 y 3 b) Sólo 4 c) 1, 2, y 4
    d) VFV e) FFV d) 1, 2, 3 e) 1, 4

    6. Representar simbólicamente el siguiente


    enunciado:
    “Si Patricia estaba enferma entonces se
    mareo” es equivalente a “Patricia no estaba
    enferma o se mareo”

    También podría gustarte