Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 29 vistas

    Taller1 2

    Cargado por

    GIAN CARLO OME BELTRAN
    Este documento presenta varios conceptos lógicos fundamentales como implicaciones, equivalencias y negaciones. Solicita al lector que pruebe las implicaciones lógicas de varias proposiciones, muestre equivalencias lógicas y niegue afirmaciones. También pide derivaciones para argumentos válidos e inválidos y escribir derivaciones para tres argumentos sobre amebas, jabalíes y Carlos.

    Copyright:

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

    Taller1 2

    Cargado por

    GIAN CARLO OME BELTRAN
    29 vistas2 páginas
    Este documento presenta varios conceptos lógicos fundamentales como implicaciones, equivalencias y negaciones. Solicita al lector que pruebe las implicaciones lógicas de varias proposiciones, muestre equivalencias lógicas y niegue afirmaciones. También pide derivaciones para argumentos válidos e inválidos y escribir derivaciones para tres argumentos sobre amebas, jabalíes y Carlos.

    Título original

    Taller1.2

    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 varios conceptos lógicos fundamentales como implicaciones, equivalencias y negaciones. Solicita al lector que pruebe las implicaciones lógicas de varias proposiciones, muestre equivalencias lógicas y niegue afirmaciones. También pide derivaciones para argumentos válidos e inválidos y escribir derivaciones para tres argumentos sobre amebas, jabalíes y Carlos.

    Copyright:

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

    Taller1 2

    Cargado por

    GIAN CARLO OME BELTRAN
    Este documento presenta varios conceptos lógicos fundamentales como implicaciones, equivalencias y negaciones. Solicita al lector que pruebe las implicaciones lógicas de varias proposiciones, muestre equivalencias lógicas y niegue afirmaciones. También pide derivaciones para argumentos válidos e inválidos y escribir derivaciones para tres argumentos sobre amebas, jabalíes y Carlos.

    Copyright:

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

    1

    TALLER 1.2
    Fundamentos de Matemáticas

    1. Pruebe que las siguientes son implicaciones lógicas.


    (a) (p → q) ∧ p ⇒ q (Modus Ponens).
    (b) (p → q) ∧ ¬q ⇒ ¬p (Modus Tollens).
    (c) p ∧ q ⇒ p (Simplificación).
    (d) p ∧ q ⇒ q (Simplificación).
    (e) p ⇒ (p ∨ q) (Adición).
    (f) q ⇒ (p ∨ q) (Adición).
    (g) (p ∨ q) ∧ ¬p ⇒ q (Modus Tollendo Ponens).
    (h) (p ∨ q) ∧ ¬q ⇒ p (Modus Tollendo Ponens).
    (i) p ↔ q ⇒ p → q (Bicondicional-Condicional).
    (j) p ↔ q ⇒ q → p (Bicondicional-Condicional).
    (k) (p → q) ∧ (q → p) ⇒ p ↔ q (Condicional-Bicondicional).
    (l) (p → q) ∧ (q → r) ⇒ p → r (Silogismo Hipotético).
    (m) (p → q) ∧ (r → s) ∧ (p ∨ r) ⇒ q ∨ s (Dilema Constructivo).
    2. Muestre que las siguientes son equivalencias lógicas.
    (a) p ↔ q ⇔ (p → q) ∧ (¬p → ¬q).
    (b) p → (a ∧ b) ⇔ (p ∧ ¬a) → b.
    (c) p → (a ∧ b) ⇔ (p → a) ∧ (p → b).
    (d) (a ∨ b) → q ⇔ (a → q) ∧ (b → q).
    (e) (a ∧ b) → q ⇔ (a → q) ∨ (b → q).
    (f) (a ∧ b) → q ⇔ a → (b → q).
    3. Negar cada una de las siguientes afirmaciones.
    (a) e5 > 0.
    (b) 3 < 5 o 7 ≥ 8.
    (c) sen(π/2) < 0 y tan(0) ≥ 0
    (d) Si y = 3, entonces y 2 = 7.
    (e) w − 3 > 0 implica w2 + 9 > 6w.
    (f) a − b = c si y sólo si a = b + c.
    4. Para cada uno de los siguientes argumentos, si este es válido, dar una
    derivación, y si no es válido, mostrar por qué.
    (a)

    p∧q ¬x → y
    (p ∨ q) → r ¬x → z

    r ¬z → ¬y
    2

    (b)

    p→q ¬a → (b → ¬c)
    ¬r → (s → t) c → ¬a
    r ∨ (p ∨ t) (¬d ∨ a) → ¬¬c
    ¬r ¬d

    q∨s ¬b

    5. Escriba una derivación para cada uno de los siguientes argumentos.


    (a) Si las amebas pueden bailar, entonces ellas son amigables. Si las
    amebas producen enfermedades a las personas, entonces ellas no son
    amigables. Las amebas pueden bailar y producen enfermedades a las
    personas. Por tanto, las personas son amigables.
    (b) Si los jabalı́es son pequenos, entonces ellos son interesantes. Los
    jabalı́es no son interesantes o ellos son salvajes. Los jabalı́es no son
    agradables o no son pequenos. Por tanto los jabalı́es son salvajes.
    (c) Si Carlos quiere pizza, entonces él quiere cerveza. Si Carlos quiere
    cerveza, entonces él no quiere pollo. Si Carlos quiere pizza, entonces
    él quiere pollo. Carlos quiere pizza. Por tanto, él quiere pollo y pizza.

    También podría gustarte