Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 57 vistas

    Ma-117 TP1 2023-2

    Cargado por

    vanessa.ramos.b
    Este documento presenta un trabajo práctico para un curso de matemática para el modelamiento de sistemas de producción y operaciones. El trabajo incluye ejercicios para construir tablas de verdad de proposiciones lógicas, simplificar proposiciones, determinar la validez de argumentos lógicos, y traducir un argumento a su forma simbólica.

    Copyright:

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

    Ma-117 TP1 2023-2

    Cargado por

    vanessa.ramos.b
    57 vistas5 páginas
    Este documento presenta un trabajo práctico para un curso de matemática para el modelamiento de sistemas de producción y operaciones. El trabajo incluye ejercicios para construir tablas de verdad de proposiciones lógicas, simplificar proposiciones, determinar la validez de argumentos lógicos, y traducir un argumento a su forma simbólica.

    Descripción original:

    Título original

    MA-117 TP1 2023-2

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    DOCX, PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Este documento presenta un trabajo práctico para un curso de matemática para el modelamiento de sistemas de producción y operaciones. El trabajo incluye ejercicios para construir tablas de verdad de proposiciones lógicas, simplificar proposiciones, determinar la validez de argumentos lógicos, y traducir un argumento a su forma simbólica.

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Descargar como docx, pdf o txt
    57 vistas5 páginas

    Ma-117 TP1 2023-2

    Cargado por

    vanessa.ramos.b
    Este documento presenta un trabajo práctico para un curso de matemática para el modelamiento de sistemas de producción y operaciones. El trabajo incluye ejercicios para construir tablas de verdad de proposiciones lógicas, simplificar proposiciones, determinar la validez de argumentos lógicos, y traducir un argumento a su forma simbólica.

    Copyright:

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

    UNIVERSIDAD NACIONAL DE INGENIERÍA

    FACULTAD DE INGENIERÍA INDUSTRIAL Y DE SISTEMAS


    UNIDAD DE POSGRADO
    PROGRAMA DE MAESTRÍA EN INGENIERÍA INDUSTRIAL

    CURSO: MATEMÁTICA PARA EL MODELAMIENTO DE SISTEMAS DE


    PRODUCCIÓN Y OPERACIONES (MA-117)
    Alumno: Vanessa Lisseth Ramos Benito
    Fecha de entrega: 01/10/ 2023

    TRABAJO PRÁCTICO N° 1
    1. (2 puntos)
    Elabore la tabla de verdad de cada una de las siguientes proposiciones:

    a) (p ˄ ~q) v r

    p q r (p ˄ ~q) v r
    V V V V F F V V
    V V F V F F F F
    V F V V V V V V
    V F F V V V V F
    F V V F F F V V
    F V F F F F F F
    F F V F F V V V
    F F F F F V F F

    Respuesta

    b) ~p v (q ˄ ~r)

    p q r ~p v (q ˄ ~r)
    V V V F F V F F
    V V F F V V V V
    V F V F F F F F
    V F F F F F F V
    F V V V V V F F
    F V F V V V V V
    F F V V V F F F
    F F F V V F F V

    Respuesta
    2. (5 puntos)
    Simplifique cada una de las proposiciones siguientes:
    a) (p v q) v (~p ˄ q)

    Paso 1: Aplicar ley asociativa

    (p v q) v (~p ˄ q)

    p v (q v (~p ˄ q))

    Paso 2: Aplicar ley conmutativa

    p v (q v (q ˄ ~p))

    Paso 3: Aplicar ley de absorción

    pvq

    Respuesta: p v q

    b) (p v q) → (p ˄ q)

    Paso 1: Aplicar ley del condicional

    ~ (p v q) v (p ˄ q)

    Paso 2: Aplicar ley de Morgan

    (~p ˄ ~q) v (p ˄ q)

    Paso 3: Aplicar del distributiva

    (~p v (p ˄ q)) ˄ (~q v (p ˄ q))

    (~p v p) ˄ (~p v q) ˄ (~q v p) ˄ (~q v q)

    Paso 3: Aplicar de complemento

    (V ˄ (~p v q)) ˄ ((~q v p) ˄ V)

    Paso 4: Aplicar de la Identidad

    (~p v q) ˄ (~q v p)

    Paso 5: Aplicar de la ley del condicional

    (p → q) ˄ (q → p)

    Paso 6: Aplicar de la ley del condicional

    p↔q

    Respuesta: p ↔ q
    3. (5 puntos)
    Determinar si los siguientes argumentos son válidos:

    a) [(p ↔ q) ˄ q] → p

    p q r [(p ↔ q) ˄ q] → p
    V V V V V V V V
    V V F V V V V V
    V F V F F F V V
    V F F F F F V V
    F V V F F V V F
    F V F F F V V F
    F F V V F F V F
    F F F V F F V F
    1° 2° 1° 2°

    Respuesta: Tautología

    Respuesta: Como la tabla de verdad solamente contiene valores de verdad, su


    formula lógica es un TAUTOLOGÍA, es decir sus argumentos son válidos.

    b) [(p → q) ˄ (r → ~q)] → (r → ~p)

    p q r [(p → q) ˄ (r → ~q)] → (r → ~p)


    V V V V F V F F V V F F
    V V F V V F V F V F V F
    V F V F F V V V V V F F
    V F F F F F V V V F V F
    F V V V F V F F V V V V
    F V F V V F V V V F V V
    F F V V V V V V V V V V
    F F F V V F V V V F V V
    1° 3° 1° 2° 1° 1° 2° 1°

    Respuesta: Tautología

    Respuesta: Como la tabla de verdad solamente contiene valores de verdad, su


    fórmula lógica es un TAUTOLOGÍA, es decir sus argumentos son válidos.
    4. (4 puntos)
    Analizar si las siguientes equivalencias son válidas:
    a) (p ˄ q) → r ≡ (p → r) v (q → r)

    Aplicando ley del condicional para ambas:


    ~ (p ˄ q) v r ≡ (~ p v r) v (~ q v r)

    Aplicando ley conmutativa y asociativa para la segunda proposición:

    ~ (p ˄ q) v r ≡ (~ p v ~ q ) v (r v r)

    ~ (p ˄ q) v r ≡ (~ p v ~ q ) v (r v r)

    Aplicando ley de idempotencia para la segunda proposición:

    ~ (p ˄ q) v r ≡ (~ p v ~ q ) v r

    Aplicando ley de Morgan para la primera proposición:

    (~ p v ~ q ) v r ≡ (~ p v ~ q ) v r

    Respuesta: Las equivalencias son válidas.

    b) p → (q → r) ≡ (p ˄ ~r) → ~q

    Aplicando ley del condicional para ambas:

    ~ p v (q → r) ≡ ~ (p ˄ ~r) v ~q

    ~ p v (~ q v r) ≡ ~ (p ˄ ~r) v ~q

    Aplicando ley de Morgan para la segunda proposición:

    ~ p v (~ q v r) ≡ (~ p v r) v ~q

    Aplicando ley conmutativa y asociativa para la segunda proposición:

    ~ p v (~ q v r) ≡ ~ p v (~q v r)

    Respuesta: Las equivalencias son válidas.


    5. (4 puntos)
    Traduzca a forma simbólica y verifique la validez del argumento:
    Si 6 es par, entonces 2 no divide a 7.
    5 no es primo, o 2 divide a 7.
    Pero 5 es primo.
    Por lo tanto, 6 es impar.

    Paso 1: Definir las proposiciones:

    p: 6 es par
    q: 2 divide a 7
    r: 5 es primo

    Paso 2: Armar la fórmula lógica

    ((p → ~q) ˄ ( ~r v q) ˄ r ) → ~p

    Paso 3 : Tabla de verdad

    p q r ((p → ~q) ˄ ( ~r v q) ˄ r) → ~p
    V V V V F F V F V V V F F
    V V F V F F V V V V F F F
    V F V V V V V F F F V F F
    V F F V V V V V V F F F F
    F V V F V F V F V V V V V
    F V F F V F V V V V F V V
    F F V F V V V F F F V V V
    F F F F V V V V V F F V V
    1° 2° 1° 1° 2°

    Respuesta: Contingencia

    Respuesta: El argumento no es válido para todos los valores de p,q,r, dependerá del
    valor de la proposición, ya que es una contingencia.

    CVG

    También podría gustarte