Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 698 vistas

    Lógica Matemática

    Cargado por

    Carlos Avila Cabeza
    El documento presenta varios razonamientos y los evalúa para determinar su validez utilizando métodos lógicos como modus ponens, modus tollens y reducción al absurdo. Se analizan tres razonamientos (a, b y c) y se concluye que a y c son válidos mientras que b es inválido. También se proponen cinco proposiciones atómicas y se evalúan cinco expresiones para determinar si son fórmulas atómicas o moleculares.

    Copyright:

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

    Lógica Matemática

    Cargado por

    Carlos Avila Cabeza
    698 vistas5 páginas
    El documento presenta varios razonamientos y los evalúa para determinar su validez utilizando métodos lógicos como modus ponens, modus tollens y reducción al absurdo. Se analizan tres razonamientos (a, b y c) y se concluye que a y c son válidos mientras que b es inválido. También se proponen cinco proposiciones atómicas y se evalúan cinco expresiones para determinar si son fórmulas atómicas o moleculares.

    Descripción original:

    ejercicios resueltos sobre lógica matemática

    Título original

    lógica matemática

    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?

    El documento presenta varios razonamientos y los evalúa para determinar su validez utilizando métodos lógicos como modus ponens, modus tollens y reducción al absurdo. Se analizan tres razonamientos (a, b y c) y se concluye que a y c son válidos mientras que b es inválido. También se proponen cinco proposiciones atómicas y se evalúan cinco expresiones para determinar si son fórmulas atómicas o moleculares.

    Copyright:

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

    Lógica Matemática

    Cargado por

    Carlos Avila Cabeza
    El documento presenta varios razonamientos y los evalúa para determinar su validez utilizando métodos lógicos como modus ponens, modus tollens y reducción al absurdo. Se analizan tres razonamientos (a, b y c) y se concluye que a y c son válidos mientras que b es inválido. También se proponen cinco proposiciones atómicas y se evalúan cinco expresiones para determinar si son fórmulas atómicas o moleculares.

    Copyright:

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

    1.

    Pruebe la validez de los siguientes razonamientos utilizando el método directo:


    a) Si la policía actúa rápidamente o se vale de perros amaestrados, entonces los
    ladrones serán aprehendidos y se recuperará la mercadería. Si los ladrones son
    aprehendidos o se recupera la mercadería, entonces el comerciante podrá evitar la
    quiebra de su negocio. La policía actúa rápidamente. Luego, el comerciante podrá evitar
    la ruina de su negocio.
    p= la policía actúa rápidamente
    q= la policía se vale de perros amaestrados
    r= los ladrones serán aprehendidos
    s= se recuperará la mercadería
    t= el comerciante podrá evitar la quiebra de su negocio
    1) (p ˅ q)  (r ˄ s)
    2) (r ˅ s)  t
    3) p
    C) t
    De 1 y 3
    1) (p ˅ q)  (r ˄ s)
    3) (p ˅ q) por adición y modus ponens
    4) (r ˄ s)
    De 2 y 4
    2) (r ˅ s)  t
    4) (r v s) por simplificación (r ˄ s) = ( r ) y adición ( r v s)
    c) t por modus ponens.
    Por lo tanto el razonamiento es válido.

    b) El mar está tranquilo y la lancha patrullera está en perfectas condiciones. Si el mar


    está tranquilo o la lancha patrullera está en perfectas condiciones, entonces el personal
    de resguardo alcanzará a la nave en cinco horas. Si el personal de resguardo alcanza a la
    nave en cinco horas, el equipo de emergencia podrá actuar eficazmente. Luego, el
    equipo de emergencia podrá actuar eficazmente.
    p= El mar está tranquilo
    q= la lancha patrullera está en perfectas condiciones
    r= el personal de resguardo alcanzará a la nave en cinco horas
    s= el equipo de emergencia podrá actuar eficazmente
    1) ( p ˄ q)
    2) (p ˅ q)  r
    3) r  s
    c) s
    De 2 y 3 De 1 y 4
    2) (p ˅ q)  r modus ponens 1) (p ˄ q)
    3) r  s 4) (p ˅ q)  s
    4) (p ˅ q)  s c) no existe
    Por lo tanto el razonamiento es inválido.

    2. Utilizando la demostración por el absurdo pruebe la validez de las siguientes


    inferencias:
    A)
    1) -(𝑝 ∧ 𝑞) = p  -q
    2) -𝑟  𝑞
    3) -𝑝 𝑟
    c) r
    De 1 y 3 De 2 y 4
    1) p  -q S.Destructivo 2) -𝑟  𝑞 Modus ponens
    3) -𝑝  𝑟 4) q  r
    4) q  r c) –r  r
    Por lo tanto la validez de este razonamiento es válido pues –r  r = r ˅ r = r
    B)
    1) r  t
    2) s  q
    3) (t ˅ q)  p
    4) (r ˅ s)
    c) p
    De 1 y 4 De 2 y 5
    1) r  t Modus ponens 2) s  q Modus ponens
    4) r ˅ s 5) t v s
    5) t v s 6) q v t
    De 3 y 6
    3) (t ˅ q)  p Modus ponens
    6) q v t
    c) p
    Por lo tanto el razonamiento es válido.
    C)
    1) r  -z
    2) (t v s)  r
    3) z v –s
    4) –t
    c) – (t v s)
    De 1 y 3 De 2 y 5
    1) r  -z Modus Tollens 2) (t v s)  r Modus Tollens
    3) z v –s 5) –r v –s
    5) –r v –s 6) – (t v s) v –s
    De 6 y 4
    6) (t v s)  -s v – t Adición a 6 y 4 Y modus ponens
    4) –t v - s
    c) (t v s)
    Por lo tanto el razonamiento es inválido.
    5. Escribir dos proposiciones atómicas en cuyos predicados aparezcan los nombres:
    juego, niña, estudiante, escuela o edificio.
    1) Este juego es divertido.
    2) La niña está triste.
    3) El estudiante está estresado.
    4) Esta escuela es pequeña
    5) Este edificio es enorme.
    9. Considere que “B” es un predicado simple, “D” es un predicado doble y “G” es un
    predicado triple. En cada uno de los casos siguientes, indicar si es o no una fórmula
    atómica.
    a) Ba, sí lo es puesto que cada variable predicativa seguida de una constante
    individual es fórmula atómica.
    b) ¬Dde, sí lo es puesto que cada variable predicativa seguida de una o más
    constantes individual es fórmula atómica.
    c) Gabc, sí lo es puesto que cada variable predicativa seguida de una o más
    constantes individual es fórmula atómica.
    d) 𝐷𝑎𝑒 ∨ p no lo es puesto que cada proposición atómica afectada al menos por
    un operador es una proposición molecular.
    e) 𝐵𝑐 ∧ 𝐷𝑎 no lo es puesto que cada proposición atómica afectada al menos por
    un operador es una proposición molecular.
    Una fórmula atómica es un predicado solo, junto con el número apropiado de términos unidos
    al mismo.

    También podría gustarte