Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 65 vistas

    Guía 05 FMM012 (SEM01)

    Cargado por

    DavidMontenegro
    Este documento presenta una guía sobre lógica proposicional. Incluye ejercicios para construir tablas de verdad de diferentes proposiciones lógicas y determinar si son tautologías o contradicciones. También incluye demostraciones de tautologías sin usar tablas de verdad y ejercicios para determinar el valor de verdad de proposiciones dados ciertos supuestos sobre el valor de verdad de otras proposiciones.

    Copyright:

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

    Guía 05 FMM012 (SEM01)

    Cargado por

    DavidMontenegro
    65 vistas2 páginas
    Este documento presenta una guía sobre lógica proposicional. Incluye ejercicios para construir tablas de verdad de diferentes proposiciones lógicas y determinar si son tautologías o contradicciones. También incluye demostraciones de tautologías sin usar tablas de verdad y ejercicios para determinar el valor de verdad de proposiciones dados ciertos supuestos sobre el valor de verdad de otras proposiciones.

    Descripción original:

    guia metodos numericos

    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 lógica proposicional. Incluye ejercicios para construir tablas de verdad de diferentes proposiciones lógicas y determinar si son tautologías o contradicciones. También incluye demostraciones de tautologías sin usar tablas de verdad y ejercicios para determinar el valor de verdad de proposiciones dados ciertos supuestos sobre el valor de verdad de otras proposiciones.

    Copyright:

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

    Guía 05 FMM012 (SEM01)

    Cargado por

    DavidMontenegro
    Este documento presenta una guía sobre lógica proposicional. Incluye ejercicios para construir tablas de verdad de diferentes proposiciones lógicas y determinar si son tautologías o contradicciones. También incluye demostraciones de tautologías sin usar tablas de verdad y ejercicios para determinar el valor de verdad de proposiciones dados ciertos supuestos sobre el valor de verdad de otras proposiciones.

    Copyright:

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

    Guı́a 5

    Lógica Proposicional

    1. Construya la tabla de verdad para cada una de las siguientes proposiciones indicando cuales son
    tautologı́as o contradicciones.

    a) (p ⇒ q) ∨ (q ⇒ p) h) (p ∧ q) ⇔∼ p
    b) p ∨ (p ∨ q) ⇒∼ p i ) (p∧ ∼ p) ⇔ (q∧ ∼ q)
    c) (p ∧ q) ⇒∼ p j ) (p ∧ q)∧ ∼ (p ∨ q)
    d ) (p ⇒∼ p) ⇒∼ p k ) (p ∧ q) ⇒ r
    e) p ∧ (p ⇒∼ p) l ) p ⇒ (q ⇒ p)
    f ) (p∧ ∼ p) ⇒ q m) (p ⇒ q) ⇔ (∼ p ∨ q)
    g) ∼ ((p∧ ∼ p) ⇒ q) n) (p ⇒ q) ⇒ ((p ⇒ r) ⇒ (p ⇒ r))

    2. Si q es verdadera ¿Por qué p ⇒ q es también verdadera independiente de cual es p?.

    3. Si p es falsa ¿Por qué p ⇒ q es verdadera independiente de cual es q?

    4. Si p es verdadera y q es falsa. ¿Qué se puede decir de p ⇒ q?

    5. Si p y q son falsas.¿Qué se puede decir de p ⇒ q?.

    6. Sean p, q y r proposiciones. Demostrar, sin usar tablas de verdad, que las siguientes proposiciones
    son tautologı́as:

    a) p ⇒ (p ∨ q) h) [p ∧ (p ⇒ q)] ⇒ q
    b) (p ⇔ q) ⇔ (p ∧ q) ∨ (∼ p∧ ∼ q) i ) [(p∧ ∼ q) ⇒∼ p] ⇒ (p ⇒ q)
    c) [(p ⇔ q) ∧ (q ⇔ r)] ⇒ (p ⇔ r) j ) [(p ∧ r) ⇒ (∼ q ∨ r)] ⇔∼ (p ∧ q)
    d ) [(p∧ ∼ q) ⇒∼ p] ⇒ (p ⇒ q) k ) [(p ⇒∼ q) ∧ (∼ r ∨ q) ∧ r] ⇒∼ p
    e) ∼ (p ⇔ q) ⇔ (∼ p ⇔ q) l ) (p ∧ q) ⇔ [(p ∨ q) ∧ (p ⇔ q)]
    f ) [(p ∧ r) ⇒ (∼ q ∨ r)] ⇔∼ (p ∧ q) m) (p ∧ q ⇒ r) ⇔ (p∧ ∼ r ⇒∼ q)
    g) [(p ⇒∼ q) ∧ (∼ r ∨ q) ∧ r] ⇒∼ p n) (p ∧ q) ⇔ [(p ∨ q) ∧ (p ⇔ q)]

    7. Dadas p y q proposiciones, definimos el operador lógico p♦q como la proposición que es verdadera
    solo cuando q es verdadera y p es falsa. Determine el valor de verdad de las siguientes afirmaciones.

    a) ♦ es asociativo y conmutativo. d ) (∼ p)♦p ≡ V


    b) (∼ p)♦(∼ q) ≡ q♦p. e) (p ∨ q)♦r ≡ (p♦r) ∧ (q♦r)
    c) p♦p ≡ F f ) (p ∧ q)♦r ≡ (p♦r) ∨ (q♦r)

    1
    8. Sean p, q y r proposiciones tales que ((∼ p ∨ q) ⇒ r) es falsa. Entregar el valor de verdad de las
    siguientes proposiciones (justifique su respuesta):

    a) ∼ q ⇒∼ p
    b) r ⇒ (p ⇔∼ (q ∨ r))

    9. Si la proposición (p ⇒ q) es falsa. ¿Cuál es el valor de verdad de la proposición (p ∨ (q ∧ r)) ⇔ ((p ∨ r) ∧ q)?

    10. Si las siguientes proposiciones son falsas, determine el valor de verdad de las proposiciones que la
    componen

    a) (p ⇔∼ r) ∨ (∼ p ⇒ (r∨ ∼ s))
    b) ∼ [(∼ p∨q) ∧ (r ⇒ p)∧ ∼ (p ⇒ s)]
    c) (p∨ ∼ p) ⇔ [p ∨ (∼ p ⇔ (q ∨ r))]

    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