Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 23 vistas

    Listado 1 S

    Cargado por

    adobepro832
    Este documento presenta una lista de ejercicios de lógica y conjuntos que incluye tablas de verdad, equivalencias lógicas y demostraciones de implicaciones lógicas.

    Copyright:

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

    Listado 1 S

    Cargado por

    adobepro832
    23 vistas2 páginas
    Este documento presenta una lista de ejercicios de lógica y conjuntos que incluye tablas de verdad, equivalencias lógicas y demostraciones de implicaciones lógicas.

    Título original

    listado_1_s (1)

    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 lista de ejercicios de lógica y conjuntos que incluye tablas de verdad, equivalencias lógicas y demostraciones de implicaciones lógicas.

    Copyright:

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

    Listado 1 S

    Cargado por

    adobepro832
    Este documento presenta una lista de ejercicios de lógica y conjuntos que incluye tablas de verdad, equivalencias lógicas y demostraciones de implicaciones lógicas.

    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 de Concepción

    Facultad de Ciencias Fı́sicas y Matemáticas


    Departamento de Matemática

    20/05/2011 A. Barrı́a C. - L.Tapia C.

    Matemática (529105)
    Listado 1 - Lógica y Conjuntos.

    1. Escriba la tabla de verdad de las siguientes proposiciones compuestas.

    a) ∼ (p ∧ q) h) (∼ p ∧ q) → (p ∨ q) ñ) ∼ r∨ ∼ (p ↔ q)
    b) ∼ p ∧ q i ) p → (∼ p ∨ p) o) (p∧ ∼ p) → p
    c) ∼ (p ∨ p) j ) (p → q) ∨ (∼ p ∧ q)
    p) (p∧ ∼ p) → r
    d) ∼ p ∨ p k ) (p ∨ q) ∨ r
    q) p → (p∨ ∼ p)
    e) ∼ (p ∨ q) l ) (p ∧ q) ∧ r
    f) ∼ p∨q m) (p → q) → r r ) q → (p∨ ∼ p)
    g) ∼ p ∧ p n) p ↔ (q ↔ r) s) (p → q) ↔ (q → q)

    t) (p ↔ q) ↔ [(p → q) ∧ (q → p)] u) [∼ (p ↔ q)] ↔ [∼ (p → q)∨ ∼ (q → p)]

    2. Observando las tablas obtenidas en 1 diga en cada caso, si la proposición es una


    tautologı́a, contradicción o una contingencia.

    3. Considere la siguiente proposición: “Si x2 = 1, entonces x = 1 o x = −1”.

    a) Escribir simbólicamente la proposición.


    b) Negar simbólicamente la proposición.
    c) Escribir la negación en palabras.

    4. Dadas las siguientes proposiciones,


    √ √ √
    p : (a − b)2 = a2 − b2 q :8+4:4=3 r: a+b= a+ b

    determinar el valor de verdad de las siguientes proposiciones:

    a) p ∧ q → p c) p ∧ r ↔∼ (q ∧ r) e) (r ∧ q) ↔ q
    b) p ∧ q → r d ) p ∨ (q → r) f) ∼ q∨r

    5. Determinar en cada caso, si la información que se da es suficiente para conocer


    el valor de verdad de las siguientes proposiciones compuestas. En caso afirmativo,
    determinar el valor de verdad justificadamente.

    a) (p → q) → r ; Información: r es verdadera.

    1
    b) (p ∧ q) ↔ (∼ p∧ ∼ q) ; Información: q es verdadera.
    c) p ∧ (q → r) ; Información: p → r es verdadera.
    d ) [(p ∨ q)∧ ∼ q] → q ; Información: p ∨ q es verdadera y ∼ q es verdadera.
    e) [(p ∨ r)∧ ∼ q] ↔ (∼ q ∧ p); Información: p es verdadera y q es falsa.

    6. Sabiendo que la proposición (∼ p ∧ q) → (∼ s ∨ r) es falsa, determine el valor de


    verdad de las siguientes proposiciones:

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

    7. Sabiendo que la proposición (a ∧ ∼ b) → (b ∨ c) es falsa, determine el valor de


    verdad de la proposición

    ∼ [(c ∧ ∼ a) ↔ (b ∨ a)] ∧ c

    8. Pruebe las siguientes equivalencias lógicas:

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

    9. Demuestre las siguientes implicaciones lógicas:

    a) [(p → q) ∧ (q → r)] ⇒ (p → r)
    b) [p → (q ∧ r)] ⇒ (∼ p ∨ 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