Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 33 vistas

    Guia 2 Plataforma

    Cargado por

    Sebastián Benjamín Becerra Poveda
    Este documento presenta una guía sobre tautología, contradicción y contingencia, así como implicación y equivalencia lógica. Contiene nueve problemas que piden verificar diferentes proposiciones lógicas usando tablas de verdad o deduciendo valores de verdad basados en la falsedad de otras proposiciones dadas.

    Copyright:

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

    Guia 2 Plataforma

    Cargado por

    Sebastián Benjamín Becerra Poveda
    33 vistas2 páginas
    Este documento presenta una guía sobre tautología, contradicción y contingencia, así como implicación y equivalencia lógica. Contiene nueve problemas que piden verificar diferentes proposiciones lógicas usando tablas de verdad o deduciendo valores de verdad basados en la falsedad de otras proposiciones dadas.

    Título original

    guia-2-plataforma

    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 una guía sobre tautología, contradicción y contingencia, así como implicación y equivalencia lógica. Contiene nueve problemas que piden verificar diferentes proposiciones lógicas usando tablas de verdad o deduciendo valores de verdad basados en la falsedad de otras proposiciones dadas.

    Copyright:

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

    Guia 2 Plataforma

    Cargado por

    Sebastián Benjamín Becerra Poveda
    Este documento presenta una guía sobre tautología, contradicción y contingencia, así como implicación y equivalencia lógica. Contiene nueve problemas que piden verificar diferentes proposiciones lógicas usando tablas de verdad o deduciendo valores de verdad basados en la falsedad de otras proposiciones dadas.

    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

    Universidad del Bio Bio,

    DEPARTAMENTO DE CIENCIAS BASICAS


    Contador Público y Auditor - Algebra

    Esperanza Lozada. - Florencia Osorio. - Jorge Torres.

    G U ÍA 2: TAUTOLOG ÍA , C ONTRADICCI ÓN Y


    C ONTINGENCIA . I MPLICACI ÓN Y
    E QUIVALENCIA L ÓGICA
    P 1 Use tablas de verdad para clasificar las siguientes proposiciones como: TAUTOLOG ÍA , C ONTRA -
    DICCI ÓN O C ONTINGENCIA .

    (a) ∼ [∼ (p ∨ q) →∼ q] ↔ (p → q) (d) ∼ (p ∧ q) ↔ [p∨ ∼ q]

    (b) ∼ [∼ p ↔ q] ↔ (p ↔ q) (e) ∼ (p → q) ↔ [p∨ ∼ q]

    (c) ∼ {(p ∧ q) ∨ [p ∧ (∼ p ∨ q)]} ↔ (p →∼ q) (f) ∼ (p ↔ q) ↔ (∼ p ↔∼ q)

    P 2 La proposición ∼ (p → q) ∧ (q →∼ r) es equivalente a cuál de las siguientes proposiciones?.

    (a) p ∧ (p∨ ∼ r) ∧ (∼ q) (c) (p∧ ∼ q) ∨ [(p∧ ∼ r)∧ ∼ q]


    (b) p ∧ (∼ q) ∧ [∼ (q ∧ r)]

    P 3 Verifique que las siguientes condicionales son Implicaciones Lóogicas:

    (a) p ⇒ p (f) (p ∧ q) ⇒ p
    (b) [(p → q) ∧ (q → r)] ⇒ (p → r)
    (g) (p ∧ q) ⇒ (p ∨ q)
    (c) ∼ p ⇒ (p → q)
    (h) (p ∧ q) ⇒ (p ↔ q)
    (d) [(p → q)∧ ∼ q] ⇒∼ p
    (e) p ⇒ (p ∨ q) (i) (p ↔ q) ⇒ (p → q)

    P 4 Verifique que las siguientes condicionales son Equivalencias Lógicas:

    (a) (p → q) ⇔ (∼ p) ∨ q (d) (p ∨ q) ∧ p ⇔ p
    (b) (p ↔ q) ⇔ (p → q) ∧ (q → p)
    (c) (p ∧ q) ∨ p ⇔ p (e) ∼ (p → q) ⇔ [p∧ ∼ q]

    P 5 De la falsedad de: (p →∼ q) ∨ (∼ r → s), deducir el valor de verdad de:

    (a) [∼ p∧ ∼ q] ∨ (∼ q) (c) (p → r) → [(p ∨ q)∧ ∼ q]


    (b) [(∼ r ∨ q) ∧ q] ↔ [(∼ q ∨ r) ∧ s]
    P 6 Si se sabe que (p ∧ q) y (q → t) son falsas. ¿Cuáles de las siguientes proposiciones son verdaderas?.

    (a) (∼ p ∨ t) ∨ s (c) [(∼ p) ∨ (q∧ ∼ t)] ↔ [(p → q)∧ ∼ (q ∧ t)]


    (b) ∼ [p ∧ (∼ q∨ ∼ p)]

    P 7 Si la proposición: (q∧ ∼ p) → [(p ∧ r) ∨ t] es falsa, hallar el valor de verdad de:

    (a) ∼ [(∼ p∨ ∼ q) → (r∨ ∼ t)] (c) (∼ p → t) → (∼ q → r)


    (b) (∼ q∧ ∼ r) ∨ [(∼ t) ∧ (p ∨ q)]

    P 8 Si la proposición: (p∧ ∼ q) → (r → t) es falsa, indicar el valor de verdad de:

    (a) (r ↔ t)∨ ∼ r (c) (∼ p → r) ∨ (∼ t)


    (b) [(r ↔ p) ∧ (t ∨ r)] ∨ (∼ t)

    P 9 Si la proposición: (r ∨ s) → [(p∧ ∼ s) → (p∧ ∼ q)] es falsa, determinar el valor de:

    (a) (p∧ ∼ q) ↔ r (c) [(∼ p) → r] ∨ (∼ s)


    (b) q ∧ (∼ p∨ ∼ s)

    También podría gustarte

    pFad - Phonifier reborn

    Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

    Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


    Alternative Proxies:

    Alternative Proxy

    pFad Proxy

    pFad v3 Proxy

    pFad v4 Proxy