Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 75 vistas

    Listado1 PDF

    Cargado por

    Daniela Miranda
    El documento presenta una lista de ejercicios sobre lógica proposicional. Incluye la representación de enunciados en lenguaje simbólico, la resolución de proposiciones lógicas, la construcción de tablas de verdad y la demostración de equivalencias y tautologías lógicas. Los ejercicios abarcan conceptos como conjunción, disyunción, negación, implicación y equivalencia.

    Copyright:

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

    Listado1 PDF

    Cargado por

    Daniela Miranda
    75 vistas2 páginas
    El documento presenta una lista de ejercicios sobre lógica proposicional. Incluye la representación de enunciados en lenguaje simbólico, la resolución de proposiciones lógicas, la construcción de tablas de verdad y la demostración de equivalencias y tautologías lógicas. Los ejercicios abarcan conceptos como conjunción, disyunción, negación, implicación y equivalencia.

    Título original

    listado1.pdf

    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?

    El documento presenta una lista de ejercicios sobre lógica proposicional. Incluye la representación de enunciados en lenguaje simbólico, la resolución de proposiciones lógicas, la construcción de tablas de verdad y la demostración de equivalencias y tautologías lógicas. Los ejercicios abarcan conceptos como conjunción, disyunción, negación, implicación y equivalencia.

    Copyright:

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

    Listado1 PDF

    Cargado por

    Daniela Miranda
    El documento presenta una lista de ejercicios sobre lógica proposicional. Incluye la representación de enunciados en lenguaje simbólico, la resolución de proposiciones lógicas, la construcción de tablas de verdad y la demostración de equivalencias y tautologías lógicas. Los ejercicios abarcan conceptos como conjunción, disyunción, negación, implicación y equivalencia.

    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

    Álgebra II

    AMP/amp

    UNIVERSIDAD DE MAGALLANES
    DEPARTAMENTO DE MATEMÁTICAS Y FÍSICA
    PUNTA ARENAS

    alvaro.mella@umag.cl
    Listado: Lógica

    I. Sean las siguientes proposiciones, p = 18 es múltiplo de 6 y q = 4 es divisor de 16. Escriba las


    siguientes proposiciones:

    1. p ∧ q 6. p ⇔ q
    2. p ∨ q 7. ∼ p ∧ q
    3. ∼ p 8. p ∨ ∼ q

    4. ∼ q 9. ∼ (p ∨ q)
    5. p ⇒ q 10. ∼ (p ∧ q)

    II. Represente cada uno de los siguientes enunciados usando simbologı́a lógica:

    1. El coche enciende cuando tiene gasolina en el estanque y tiene corriente la baterı́a.


    2. Una persona puede entrar al cine si compra su boleto u obtiene un pase.
    3. Es buen estudiante, si y solo si, tiene promedio siete.
    4. Si no pago la luz, entonces me cortarán la corriente eléctrica. Y si pago la luz, entonces me quedaré sin
    dinero o pediré prestado. Y si me quedo sin dinero y pido prestado, entonces no podré pagar la deuda, si
    y solo si, soy desorganizado.

    III.- Resuelve los siguientes ejercicios:

    1. La proposición: [r ∧ ∼ (p ⇒ q)] ∧ ∼ [p ∧ ∼ (s ⇒ q)] es verdadera. Determinar los valores de las proposi-


    ciones p, q , r, s son respectivamente.
    2. Si la proposición: [(∼ p ∨ q) ⇒ (q ⇔ r)] ∨ (q ∧ s) es falsa, siendo p una proposición verdadera, determine
    los valores de verdad de q, r, ,s respectivamente.
    3. Si la proposición: (∼ p ⇒ q) ∨ (r ⇒∼ s) ≡ F . Determine el valor de verdad de las siguientes proposiciones.
    a) (∼ p∧ ∼ q)∨ ∼ q
    b) (∼ r ∨ q) ⇔ [(∼ q ∨ r) ∧ s]
    c) (p ⇒ q) ⇒ [(p ∨ q)∧ ∼ q]
    4. Dada la proposición: ∼ [(r ∨ q) ⇒ (r ⇒ p)] ≡ V , donde se sabe que q es una proposición falsa. Halle el
    valor de verdad de las siguientes proposiciones.
    a) r ⇒ (∼ p∨ ∼ q)
    b) [r ⇔ (p ∧ q)] ⇔ (q∧ ∼ p)
    c) (r∨ ∼ p) ∧ (q ∨ p)
    IV. Indica el valor de verdad de las siguientes proposiciones:
    1. a: 4 es un número par y 5 es múltiplo de 2.
    2. b: La vı́vora no es un reptil o el canario es un pez.

    3. c: Si 21 es un multiplo de 7, entonces 21 es múltiplo de 2.


    4. d: El Salmón es un pez si y solo si el tiburón es un ave.
    5. e: Si el oro es un metal, entonces es un buen conductor de la electricidad.

    6. f: 3 es divisor de 18 o 18 es múltiplo de 24.

    V. Construye la tabla de verdad para cada una de las siguientes proposiciones:

    1. p ∨ q 5. (p ∧ q) ⇔ (p ∨ q) 9. (p ∧ (p ⇒ q)) ⇒ p

    2. p ∧ ∼ q 6. (p ∨ q)∧ ∼ (p ⇒ q) 10. (∼ p∧ ∼ q) ⇒ (p ∨ q)
    3. ∼ p ⇒∼ q 7. (∼ p∧ ∼ q)∨ ∼ q 11. (p ∨ q) ∧ (p ∨ r)
    4. ∼ (p ∨ q) ⇒∼ q 8. (p ⇒ q) ∨ (q ⇒ p) 12. ∼ p ∨ (∼ q ⇔ r)

    VI. Utilizando tablas de verdad, demostrar las siguientes equivalencias lógicas

    1. ∼ (∼ p) ⇐⇒ p 10. ∼ (p ∧ q) ⇐⇒∼ p ∨ ∼ q
    2. p ∧ ∼ p ⇐⇒ F 11. ∼ (p ∨ q) ⇐⇒∼ p ∧ ∼ q

    3. p ∨ ∼ p ⇐⇒ V 12. (p ∧ q) ∧ r ⇐⇒ p ∧ (q ∧ r)
    4. p ∨ V ⇐⇒ V 13. (p ∨ q) ∨ r ⇐⇒ p ∨ (q ∨ r)
    5. p ∧ V ⇐⇒ p 14. (p ↔ q) ↔ r ⇐⇒ p ↔ (q ↔ r)
    6. p ∨ F ⇐⇒ p 15. p ∧ (q ∨ r) ⇐⇒ (p ∧ q) ∨ (p ∧ q)

    7. p ∧ F ⇐⇒ F 16. p ∨ (q ∧ r) ⇐⇒ (p ∨ q) ∧ (p ∨ r)
    8. p ∧ (p ∨ q) ⇐⇒ p 17. ∼ p ∨ q ⇐⇒ p → q
    9. p ∨ (p ∧ q) ⇐⇒ p 18. p ↔ q ⇐⇒ (p ↔ q) ∧ (q ↔ p)

    VII. Demostrar las siguientes tautologı́as:

    1. p → q ⇐⇒∼ q →∼ p 9. p ↔ q ⇐⇒ (p ∧ q) ∨ (∼ p ∧ ∼ q)
    2. ∼ (p → q) ⇐⇒ p ∧ ∼ q 10. ∼ p ↔∼ q ⇐⇒ p ↔ q
    3. p → (q∧ ∼ q) ⇐⇒∼ p
    11. ∼ (p ↔ q) ⇐⇒∼ p ↔ q
    4. (q ∨ ∼ q) → p ⇐⇒ p
    12. (p → q) ∧ (p → r) ⇐⇒ p → (q ∧ r)
    5. (p ∧ q) → r ⇐⇒ p → (q → r)
    13. (p → q) ∨ (p → r) ⇐⇒ p → (q ∨ r)
    6. p → (q → r) ⇐⇒ q → (p → r)
    7. (p → q) ↔ p ⇐⇒ p ∧ q 14. (p → r) ∧ (q → r) ⇐⇒ (p ∨ q) → r

    8. (p → q) ↔ q ⇐⇒ p ∨ q 15. (p → r) ∨ (q → r) ⇐⇒ (p ∧ q) → r

    También podría gustarte