Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 84 vistas

    Ejercicios Grupo 2

    Cargado por

    MIRKO RAI MERCEDES FLORES
    (1) La fórmula [(p ∧ ~q) → (r ∧ ~r)] ∧ (p ∧ ~q) es una tautología. (2) Si se sabe que (p ∧ q) → (~q ∨ r) es falso, los valores de verdad de p, q y r son V, V, F respectivamente. (3) Dadas las condiciones, los valores de verdad de p, q, r, s, t son V, V, V, F, F en ese orden.

    Copyright:

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

    Ejercicios Grupo 2

    Cargado por

    MIRKO RAI MERCEDES FLORES
    84 vistas12 páginas
    (1) La fórmula [(p ∧ ~q) → (r ∧ ~r)] ∧ (p ∧ ~q) es una tautología. (2) Si se sabe que (p ∧ q) → (~q ∨ r) es falso, los valores de verdad de p, q y r son V, V, F respectivamente. (3) Dadas las condiciones, los valores de verdad de p, q, r, s, t son V, V, V, F, F en ese orden.

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

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

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    (1) La fórmula [(p ∧ ~q) → (r ∧ ~r)] ∧ (p ∧ ~q) es una tautología. (2) Si se sabe que (p ∧ q) → (~q ∨ r) es falso, los valores de verdad de p, q y r son V, V, F respectivamente. (3) Dadas las condiciones, los valores de verdad de p, q, r, s, t son V, V, V, F, F en ese orden.

    Copyright:

    © All Rights Reserved
    Descargue como PPTX, PDF, TXT o lea en línea desde Scribd
    Descargar como pptx, pdf o txt
    84 vistas12 páginas

    Ejercicios Grupo 2

    Cargado por

    MIRKO RAI MERCEDES FLORES
    (1) La fórmula [(p ∧ ~q) → (r ∧ ~r)] ∧ (p ∧ ~q) es una tautología. (2) Si se sabe que (p ∧ q) → (~q ∨ r) es falso, los valores de verdad de p, q y r son V, V, F respectivamente. (3) Dadas las condiciones, los valores de verdad de p, q, r, s, t son V, V, V, F, F en ese orden.

    Copyright:

    © All Rights Reserved
    Descargue como PPTX, PDF, TXT o lea en línea desde Scribd
    Descargar como pptx, pdf o txt
    de 12

    EJERCICIOS

    GRUPO 2
    1. Evalúa las siguientes fórmulas lógicas (construye su tabla de verdad).
    [(p ∧ ~q) → (r ∧ ~r)] ∧ (p ∧ ~q)
    (p q) (q p) p q r [(p -q  (r -r)] (p -q)

    p q (p  q) ↔ (-q  -p) V V V V F F V V F F F V F F

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

    [(p ∧ (q ∨ r)] ↔ [(p ∧q)∨(q ∧r)]


    [(p ∧ q) ∨ ~p ] → p q r [(p (q r)] ↔ [(p q) (q r)]
    q p q [(p q) -p]  q V V V V V V V V V V V V V V V V
    V V F V V V V F V V V V V V F F
    V V V F V V F V V
    V F V V V F V V F V F F F F F V
    V F V F F F F V F
    V F F V F F F F V V F F F F F F
    F V F F V V V V V
    F V V F F V V V F F F V V V V V
    F F F F F V V F F F V F F F V V F V F F V F V F F
    F F V F F F V V V F F F F F F V
    F F F F F F F F V F F F F F F F
    2. Indica de qué tipo es cada una de las fórmulas de la pregunta 1. Tautología, contradicción o
    contingencia.
    a. Tautología.
    b. Contingencia.
    c. Contradicción.
    d. Contingencia.
    3. Si se sabe que: (p ∧ q) → (~q ∨ r) es falso, determina los valores de verdad de p, q y r.

    (p ∧ q) → (~q ∨
    r)V V F F
    V F
    PV
    QV
    RF
    F
    4. Si se tiene la siguiente información:
    p ∧ ~q es falso.
    F V
    F
    Halla el valor de verdad de: ~(r ∧ s) ∨ [(p ∨ q) → t]
    q → s es verdadero.
    V F F F
    F F
    V F F
    r ∧ ~s es verdadero. V V
    V V
    V
    V

    P F
    Q F
    R V
    S F
    T
    5. Halla una fórmula tal que al construir su tabla de verdad el
    resultado final sea:

    p q r [(-p q) r] r
    V V V F V V V V V V
    V V F F V V V F F F
    V F V F F F V V V V
    V F F F F F F F F F
    F V V V V V V V V V
    F V F V V V V F F F
    F F V V V F V V V V
    F F F V V F V F F F
    6. Si p y q son falsos, ¿Para qué valores de verdad de r, es verdadera la siguiente fórmula?

    (r → p) ↔ (~ q → r)

    V F V V

    F V

    (r → p) ↔ (~ q → r)
    F F V F

    V F
    F

    a) Solo V b) Solo F C) Puede ser V ó F d) Ningún caso.


    7. Si se sabe que [~ (p ∨ ~ q) ] → p es verdadero y que p es falso, cuáles de las siguientes afirmaciones son ciertas?

    [~ (p ∨ ~ q) ] → p

    F V
    V
    F F

    p → q es falso
    F F

    ~q ∨ r es verdadero
    V ?

    p ↔ ~q es verdadero
    F V

    a) Solo I y III b) Solo I y II c) Todas

    d) Solo II e) Solo III


    8. Determina los valores de verdad de p, q, r, s, t (en ese orden) si:
    I) (p ∧ q) → (q ∧ ~r), es falso.
    V V V V

    V F

    F
    II) (s ∧ t) ↔ (~p ∨ ~q), es verdadero.
    F F F F

    F F

    V
    III) s ↔ t, es verdadero. p=V
    F F q= V
    r= V
    V s= F
    t= F

    a) VVVVV b) VVVVF c) VVVFV d) VVVFF e) VVFFF


    9. Demuestra , utilizando la definición, las siguientes equivalencias:

    a) p →( p ∧ q) ≡ ~q → ~p.
    ~p ∨ (p ∧ q) ≡ q ∨ ~p
    ~p ∨ q ≡ q ∨ ~p
    b) (p ∧ q)→ r ≡ p →(q → r).
    ~(p ∧ q) ∨ r ≡ ~p ∨ (q → r)
    (~p ∨ ~q) ∨ r ≡ ~p ∨ (~q ∨ r)
    (~p ∨ ~q) ∨ r ≡ (~p ∨ ~q) ∨ r
    c) [(p ∧ ~q) → (r ∧ ~r)] ≡ p →q
    [~(p ∧ ~q) ∨ (r ∧ ~r)] ≡ ~p ∨ q
    [(~p ∨ q) ∨ (r ∧ ~r)]
    (~p ∨ q) ∨ 0
    ~p ∨ q ≡ ~p ∨ q
    d) p →(q ∧ r)] ≡ [(p → q) ∧ (p → r)]
    [(~p ∨ q) ∧ (~p ∨ r)]
    1 2 3 4
    ~p ∨ (q ∧ r) ≡ (~p ∨ ~p) ∨ (q ∧ r)
    ~p ∨ (q ∧ r)
    10. Cuáles de las siguientes fórmulas:
    I) ~p → q.
    p ∨q.

    II) (p ∨ q) ∧ [(p ∨~q)∨q]


    [p( ~q ∨ q)]
    p∨1
    (p ∨ q) ∧ 1
    (p ∨ q)
    III) ~q → p.
    q∨p ≡p∨q
    Equivalen a: p ∨ q.
    a) Solo I y III b) Todas c) Solo I d) Solo II y III
    e) Solo III
    11. Una fórmula equivalente a:
    [(p ∧ q) ∨ (p ∧ ~ q)] ∨ (~p ∧ ~q) es:
    [(p ∧ q) ∨ (p ∧ ~ q)] ∨ (~p ∧ ~ q)

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

    a) ~p b) p → q c) p ∧ ~ q d) q →p e) p ∨ q
    F V V V V F F V V V V V V
    F V F F V V V F V V V V F
    V F V V F F F V F F F V V
    V F V F F F V F V F F F F
    12. Si definimos un nuevo conectivo “*”, tal que p * q (q p), evalúa haciendo la tabla de verdad de
    p * (q r).

    P * Q ~ ( → P) P * (Q * R)
    Q
    V F V V F F V V
    F V V V
    V F V V F F F F
    F V V V
    V F F V F V F V
    F F V V
    V F F V F V F F
    F F V V
    F V V F V F V V
    V V F F
    F V V F F F F F
    V V F F
    F F F F F V F V
    F F V F
    F F F F F V F F
    F F V F

    13. Según la ley de MORGAN


    a) ~ (p ∨ q) ≡ ~ p ∧ ~q
    b) ~ (p ∧ q) ≡ ~p ∨ ~q
    14. Según la ley de la definición del condicional
    a) p → q ≡ ~p ∨ q
    b) ~ (p → q) ≡ ~ (~p ∨ q) ≡ p ∧ ~q

    También podría gustarte