Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 130 vistas

    Cuestionario 02 T 02

    Cargado por

    Leidy Damián
    Este documento presenta un cuestionario sobre lógica proposicional que incluye varias preguntas. La primera pregunta pide probar la equivalencia de cinco proposiciones usando la tabla de verdad. La segunda pregunta relaciona cuatro tautologías con argumentos válidos. La tercera pregunta expresa seis proposiciones sobre números enteros en forma simbólica usando cuantificadores. La cuarta pregunta determina si cinco proposiciones son verdaderas o falsas bajo ciertas condiciones. La quinta pregunta en

    Copyright:

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

    Cuestionario 02 T 02

    Cargado por

    Leidy Damián
    130 vistas7 páginas
    Este documento presenta un cuestionario sobre lógica proposicional que incluye varias preguntas. La primera pregunta pide probar la equivalencia de cinco proposiciones usando la tabla de verdad. La segunda pregunta relaciona cuatro tautologías con argumentos válidos. La tercera pregunta expresa seis proposiciones sobre números enteros en forma simbólica usando cuantificadores. La cuarta pregunta determina si cinco proposiciones son verdaderas o falsas bajo ciertas condiciones. La quinta pregunta en

    Descripción original:

    Trea de la UNMSM maematica basica de estudios generales, derecho, ciclo-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 un cuestionario sobre lógica proposicional que incluye varias preguntas. La primera pregunta pide probar la equivalencia de cinco proposiciones usando la tabla de verdad. La segunda pregunta relaciona cuatro tautologías con argumentos válidos. La tercera pregunta expresa seis proposiciones sobre números enteros en forma simbólica usando cuantificadores. La cuarta pregunta determina si cinco proposiciones son verdaderas o falsas bajo ciertas condiciones. La quinta pregunta en

    Copyright:

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

    Cuestionario 02 T 02

    Cargado por

    Leidy Damián
    Este documento presenta un cuestionario sobre lógica proposicional que incluye varias preguntas. La primera pregunta pide probar la equivalencia de cinco proposiciones usando la tabla de verdad. La segunda pregunta relaciona cuatro tautologías con argumentos válidos. La tercera pregunta expresa seis proposiciones sobre números enteros en forma simbólica usando cuantificadores. La cuarta pregunta determina si cinco proposiciones son verdaderas o falsas bajo ciertas condiciones. La quinta pregunta en

    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 7

    UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS

    ESCUELA DE ESTUDIOS GENERALES


    CIENCIAS Y HUMANIDADES
    MATEMÁTICA APLICADA A LAS CIENCIAS SOCIALES
    Y HUMANAS
    Semestre: 2022-I

    Tema:
    ▪ Proposiciones equivalentes.
    ▪ Leyes lógicas.
    ▪ Cuantificadores.
    ▪ Inferencia lógica.

    CUESTIONARIO Nº 2

    1. Probar la equivalencia de:


    (4 puntos)

    a. p ↔ p ∧ (q ∧ ~q)

    p q p ≠ p ∧ (q ∧ ~q)

    V V V V F V F F

    V F V V F F F V

    F V F F F V F F

    F F F F F F F V

    1
    b. p ↔ p ∧ (q ∨ ~q)

    p q p
    ≡ p ∧ (q ∨ ~q)

    V V V V V V V F

    V F V V V F V V

    F V F F F V V F

    F F F F F F V V

    c. (p ∧ q) ↔ (q ∨ s)

    p q s (p ∧ q)
    ≠ (q ∨ s)

    V V V V V V V V V

    V V F V V V V V F

    V F V V F F F V V

    V F F V F F F F F

    F V V F F V V V V

    F V F F F V V V F

    F F V F F F F V V

    F F F F F F F F F

    Determinar si las proposiciones (d) y (e) son equivalentes:

    d. p → (r ∨ ~q) e. (q → ~p) ∨ (~r → ~p)


    e. (q → ~p)

    2
    p q r → → →
    p (r ∨ ~q)
    ≡ (q ~p) ∨ (~r ~p)

    V V V V V V V F V F F V F V F

    V V F V F F F F V F F F V F F

    V F V V V V V V F V F V F V F

    V F F V V F V V F V F V V F F

    F V V F V V V F V V V V F V V

    F V F F V F F F V V V V V V V

    F F V F V V V V F V V V F V V

    F F F F V F V V F V V V V V V

    2. Relacione cada una de las siguientes tautologías con el


    argumento que le corresponde.
    (4 puntos)

    Tautologías Argumentos

    p → (p ∨ q) x < 3 y x < −1
    ∴ x < −1

    p∧q→p x>1

    ∴ x > 1 o x < −1

    p∧q→q Si x3 = y3, entonces x = y


    ∴ Si x ≠ y, entonces x3 ≠ y3

    (p → q) ↔ (~q → ~p) Carmen sabe francés y alemán


    ∴ Carmen sabe francés

    3
    Desarrollo:
    p∧q→p : Carmen sabe francés y alemán ∴ Carmen sabe francés

    (p → q) ↔ (~q → ~p) : Si x3 = y3, entonces x = y ∴ Si x ≠ y, entonces x3 ≠ y3

    p∧q→q : x < 3 y x < −1 ∴ x < −1

    p → (p ∨ q) : x > 1 ∴ x > 1 o x < −1

    3. Para el universo de los enteros, sean p(x), q(x), r(x), s(x) y t(x) las
    siguientes funciones proposicionales.
    (4 puntos)

    a. p(x): x > 0

    b. q(x): x es par

    c. r(x): x es un cuadrado perfecto

    d. s(x): x es divisible por 4

    e. t(x): x es divisible por 5

    Escriba las siguientes proposiciones en forma simbólica, usando cuantificadores

    I. Al menos un entero es par


    II. Existe al menos un entero positivo que es par
    III. Si x es par, entonces x no es divisible entre 5
    IV. Ningún entero par es divisible entre 5
    V. Existe al menos un entero par divisible entre 5
    VI. Si x es par y un cuadrado perfecto, entonces x es divisible entre 4

    Desarrollo:

    I. Э(x) ∈ Z , q(x)
    II. Э(x) ∈ Z , ( p(x) ∧ q(x) )
    III. ∀(x) ∈ Z , ( q(x) → ~t(x) )
    IV. ~∀q(x) ∈ Z, t(x)
    V. Э(x) ∈ Z, ( q(x) ∧ t(x) )
    VI. ∀(x) ∈ Z, ( q(x) ∧ r(x) ) → s(x)

    4
    4. Averiguar qué fórmulas son verdaderas y falsas si “p” y “q” son
    verdaderas y “r” y “s” falsas:
    (4 puntos)

    1. [(~ p → ~s) ^ (~p v r) ^ (r → ~t)] → (~s v ~t)

    2. (~q → r) ^ (t → ~q) ^ (~s → ~q) → (t v ~s) → r

    3. [(p → r) ^ ~ (q →r)] → ~ (q → p)

    4. [(p → q) ^ (r → p) ^ (t → r ) ^ (s → r) ^ (t → s)] → (q v ~ w)

    5. (p v q) v r → p v (q v r)

    Desarrollo:

    5
    6
    5. Enlaza cada proposición con su forma simbólica:

    (4 puntos)

    “Llueve” = p , “Hace sol” = q

    1 Llueve y hace sol A ¬p→q A

    2 Llueve y no hace sol BB q ↔ ¬ p B

    3 Llueve o hace sol CC ¬ ¬ p C

    4 Si no llueve, hace sol D p ∧¬ q D

    5 No es cierto que llueva E p∧q E

    6 No es cierto que no llueva F p∨q F

    7 Hará sol si y sólo si no llueve G ¬p G

    Desarrollo:

    1- E, Llueve y hace sol : (p ∧ q)


    2- D, Llueve y no hace sol : (p ∧¬ q)
    3- F, Llueve o hace sol : p ∨ q
    4- A, Si no llueve, hace sol : ¬ p → q
    5- G, No es cierto que llueva : ¬ p
    6- C, No es cierto que no llueva : ¬ ¬ p
    7- B, Hará sol si y sólo si no llueve : q ↔ ¬ p

    También podría gustarte