Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 36 vistas

    Guía - Lógica

    Cargado por

    Javier Gonzalez
    Este documento presenta una guía sobre lógica que incluye ejercicios para identificar proposiciones atómicas y moleculares, escribir enunciados en forma simbólica y en lenguaje corriente, realizar tablas de verdad, determinar si proposiciones son tautologías, contradicciones o contingencias, y reducir y expandir proposiciones usando propiedades lógicas. El documento provee 12 ejercicios de lógica para que los estudiantes practiquen conceptos como conectivos ló

    Copyright:

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

    Guía - Lógica

    Cargado por

    Javier Gonzalez
    36 vistas2 páginas
    Este documento presenta una guía sobre lógica que incluye ejercicios para identificar proposiciones atómicas y moleculares, escribir enunciados en forma simbólica y en lenguaje corriente, realizar tablas de verdad, determinar si proposiciones son tautologías, contradicciones o contingencias, y reducir y expandir proposiciones usando propiedades lógicas. El documento provee 12 ejercicios de lógica para que los estudiantes practiquen conceptos como conectivos ló

    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 que incluye ejercicios para identificar proposiciones atómicas y moleculares, escribir enunciados en forma simbólica y en lenguaje corriente, realizar tablas de verdad, determinar si proposiciones son tautologías, contradicciones o contingencias, y reducir y expandir proposiciones usando propiedades lógicas. El documento provee 12 ejercicios de lógica para que los estudiantes practiquen conceptos como conectivos ló

    Copyright:

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

    Guía - Lógica

    Cargado por

    Javier Gonzalez
    Este documento presenta una guía sobre lógica que incluye ejercicios para identificar proposiciones atómicas y moleculares, escribir enunciados en forma simbólica y en lenguaje corriente, realizar tablas de verdad, determinar si proposiciones son tautologías, contradicciones o contingencias, y reducir y expandir proposiciones usando propiedades lógicas. El documento provee 12 ejercicios de lógica para que los estudiantes practiquen conceptos como conectivos ló

    Copyright:

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

    Álgebra - 2020

    Guı́a - Lógica

    1. Identifique y señale cada proposición atómica con una “A” y cada proposición molecular con
    una “M”. Además, escriba junto a cada proposición molecular el conectivo lógico utilizado
    (conjunción, disyunción, implicación, negación, condicional).

    (a) El barco andaba por el océano Índico.


    (b) La clase inició a las diez en punto.
    (c) Carlos es un buen jugador o es muy afortunado.
    (d) San Javier está al sur de Talca y Talca está al sur de Santiago.
    (e) La casa no es azul.
    (f) La fiesta es silenciosa o la puerta está cerrada.
    (g) Si Marı́a canta entonces es feliz.
    (h) El cielo es azul y los pájaros cantan.

    2. Sean p: “Él es alto” y q: ‘Él es galán” dos proposiciones. Escriba los siguientes enunciados
    en forma simbólica con p y q.

    (a) Él es alto y galán. (d) Es falso que él es bajo o galán.
    (b) Él es alto pero no galán. (e) Él no es ni alto ni galán.
    (c) Él es alto, o él es bajo y galán. (f) Si él no es alto entonces es galán.

    3. Sean p: “Los precios son bajos” y q: “Los precios no suben” dos proposiciones. Escriba en
    lenguaje corriente las siguientes formas simbólicas.

    (a) −q (d) p → −q
    (b) −p (e) −p ∧ −q
    (c) −(p ∨ −q) (f) p ∧ q

    4. Realice la tabla de verdad para cada una de las siguientes proposiciones:

    (a) (p ∧ −q) ↔ (−p ∧ q)


    (b) −(p → q) → q
    (c) [−(p ∨ q) ∧ −r] ∨ [(p ∧ −q) ∧ r]

    5. Decida si las siguientes proposiciones son tautologı́a, contradicción o contingencia:

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


    (b) (p ∧ q) → q (e) p → [q → (q → q)]
    (c) (p ∧ q) → (p ∨ q) (f) (p → (q ∧ r)) → (p → q)
    6. Usando tablas de verdad determine si las siguientes proposiciones corresponden implicaciones
    lógicas.

    (a) [(p → q) ∧ (q → r)] ⇒ (p → r)


    (b) ∼ p ⇒ (p → q)
    (c) [(p → q)∧ ∼ q] ⇒∼ p
    (d) (p ∨ q) ⇒ p
    (e) (p ∧ q) ⇒ (p ↔ q)
    (f) (p ↔ q) ⇒ (p → q)

    7. Usando tablas de verdad determine si las siguientes proposiciones corresponden a equivalen-


    cias lógicas.

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

    8. Sean p:“tengo un loro”, q: “tengo un gato”, escribir en lenguaje corriente la proposición


    −(−p ∨ −(−q)) ∧ −(−p) y luego simplificar.

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

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


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

    10. Utilizando leyes lógicas reducir las siguientes proposiciones:

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

    11. Considere la proposición S : r ∨ [∼ (∼ p ∨ q)],

    (a) realice la tabla de verdad de S y de ∼ S.


    (b) Usando las propiedades de los conectivos lógicos, expandir la proposición ∼ S.

    12. Sea F el conectivo definido por la siguiente equivalencia lógica: pFq ⇔ (p∧ ∼ q) ∨ (∼ p ∧ q).
    Demueste la tautologı́a pF(pFq) ⇔ q.

    También podría gustarte