Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 135 vistas

    Producto Académico N 01 S PDF

    Cargado por

    super guerrero
    Este documento presenta 6 ejercicios de lógica matemática. El primero identifica proposiciones y no proposiciones. El segundo formula enunciados en lógica proposicional. El tercero evalúa un esquema molecular. El cuarto simplifica una expresión lógica usando leyes y equivalencias. El quinto formula en lógica cuantificacional. Y el sexto determina el valor de verdad de proposiciones sobre un conjunto dado.

    Copyright:

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

    Producto Académico N 01 S PDF

    Cargado por

    super guerrero
    135 vistas3 páginas
    Este documento presenta 6 ejercicios de lógica matemática. El primero identifica proposiciones y no proposiciones. El segundo formula enunciados en lógica proposicional. El tercero evalúa un esquema molecular. El cuarto simplifica una expresión lógica usando leyes y equivalencias. El quinto formula en lógica cuantificacional. Y el sexto determina el valor de verdad de proposiciones sobre un conjunto dado.

    Título original

    Producto Académico N 01 S.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?

    Este documento presenta 6 ejercicios de lógica matemática. El primero identifica proposiciones y no proposiciones. El segundo formula enunciados en lógica proposicional. El tercero evalúa un esquema molecular. El cuarto simplifica una expresión lógica usando leyes y equivalencias. El quinto formula en lógica cuantificacional. Y el sexto determina el valor de verdad de proposiciones sobre un conjunto dado.

    Copyright:

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

    Producto Académico N 01 S PDF

    Cargado por

    super guerrero
    Este documento presenta 6 ejercicios de lógica matemática. El primero identifica proposiciones y no proposiciones. El segundo formula enunciados en lógica proposicional. El tercero evalúa un esquema molecular. El cuarto simplifica una expresión lógica usando leyes y equivalencias. El quinto formula en lógica cuantificacional. Y el sexto determina el valor de verdad de proposiciones sobre un conjunto dado.

    Copyright:

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

    MATEMÁTICA DISCRETA Producto Académico N°01

    Producto Académico N°01. Resolucion


    1. Indique cuales son proposiciones y cuales no: (2 puntos)

    1.1 La ola de calor que se está registrando en el sur de América es consecuencia del cambio
    climático que nuestro planeta
    [NO ES PROPOSICIÓN] sentido declarativo afirmativo pero hay una ambigüedad en la última
    parte o esta incompleto.
    1.2 Sócrates no quiso escribir libro alguno
    [NO ES UNA PROPOSICIÓN] no se puede asumir la veracidad o falsedad esta proposición
    1.3 La Universidad peruana está en crisis
    [PROPOSICIÓN] sentido afirmativo
    1.4 Los andes atraviesan el territorio peruano
    [PROPOSICIÓN] sentido declarativo afirmativo

    2. Formular los siguientes enunciados en el ámbito de la Lógica Proposicional: (4 puntos)

    2.1 Luis se ira de vaciones a Cancún, siempre y cuando apruebe de semestre. Sin embargo, Luis no
    aprobó de semestre. Luis se quedó estudiando sus asignaturas desaprobadas, Por lo tanto, Luis, no
    se ira de vacaciones a Cancún.

    p: Luis se ira de vaciones a Cancún


    q: Luis aprueba de semestre
    r: Luis se queda estudiando sus asignaturas desaprobadas

    [(q ↔ p)(~qr)]~p

    2,2 O los sacerdotes son dogmáticos, o los budistas son fanáticos. Si los sacerdotes son dogmáticos,
    entonces los musulmanes son recalcitrantes. Sin embargo, las sacerdotes no son dogmático. En
    consecuencia, o los budistas son fanáticos, o los musulmanes no son recalcitrantes.

    p: los sacerdotes son dogmáticos


    q: los budistas son fanáticos
    r: los musulmanes son recalcitrantes

    [(p∆q)(pr)~p](q∆~r)

    1|P ági na
    MATEMÁTICA DISCRETA Producto Académico N°01

    3. Evaluar el siguiente esquema molecular: (2 puntos)

    [(p  q)  (q  r)]  q


    p Q R [(p  q)  (q  r)]  q
    V V V V F F F F F V
    V V F V F F V V V V
    V F V F V V V V F V
    V F F F V V V F V V
    F V V V F F F F F V
    F V F V F F V V V V
    F F V V F V V V F V
    F F F V F V F F V F

    4. Simplificar utilizando Leyes y Equivalencias notables: (4 puntos)

    [(p  q)  (q  r)]  q

    [(p  q)  (q  r)]  q Condicional

    [(p  q)(~q∨~r)]  q Condicional

    [~(p  q)  (~q∨~r)]  q Doble negación

    [(p  q)  (~q∨~r)]  q Distributiva

    [(p  q)  q]  [(~q∨~r)  q] Absorción y Asociativa

    (p  q)  [(~q∨q)  ~r] Tercio Excluido

    (p  q)  (V  ~r) Formas Normales Disyunción

    (p  q)  V Formas Normales Disyunción

    Tautología

    2|P ági na
    MATEMÁTICA DISCRETA Producto Académico N°01

    5. Formular en el ámbito de la Lógica Cuantificacional: (4 puntos)

    5.1 Luis mató al perro de Mario


    i : Luis
    M: mató al perro de Mario
    Mi

    5.2 No es verdad que, los sacerdotes son fanáticos o los budistas son dogmáticos.
    s: Sacerdotes
    F: fanáticos
    b: Budistas
    D: Dogmáticos
    ~ (Fs v Db)

    5.3 La mayoría de estudiantes aprenden de todos los profesores.


    ∃x: Mayoría de estudiantes
    A: aprenden de todos los profesores
    (∃x) Ax

    5.4 Si los perros ladran a los niños, entonces los niños huyen de los perros
    p: perros
    L: ladran a los niños
    n: Niños
    H: huyen de los perros
    Lp → Hn

    6. Si A = {a, , {}}, hallar el valor de verdad de las siguientes proposiciones : (4 puntos)

    6.1 {a}  AP
    Verdad. En el conjunto potencia, {a} actúa como elemento
    6.2   A
    Es Falso. Lo correcto es {}  A ó Ø€A
    6.3 {a, {}}  AP
    Es Falso. hay elemento con la forma de {a, {}} en el conjunto AP
    6.4 {,{{}}}  AP
    Es falso. Lo correcto sería {,{}}  AP

    3|P ági na

    También podría gustarte