Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 189 vistas

    Formalizacion Deproposiones

    Cargado por

    MILLAN
    El documento presenta 20 problemas de razonamiento lógico que involucran el uso de conectivos lógicos, tablas de verdad y esquemas moleculares. Los problemas piden formalizar enunciados, determinar matrices finales de esquemas moleculares, evaluar tablas de verdad y encontrar negaciones.

    Copyright:

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

    Formalizacion Deproposiones

    Cargado por

    MILLAN
    189 vistas2 páginas
    El documento presenta 20 problemas de razonamiento lógico que involucran el uso de conectivos lógicos, tablas de verdad y esquemas moleculares. Los problemas piden formalizar enunciados, determinar matrices finales de esquemas moleculares, evaluar tablas de verdad y encontrar negaciones.

    Descripción original:

    PC2

    Título original

    FORMALIZACION DEPROPOSIONES

    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?

    El documento presenta 20 problemas de razonamiento lógico que involucran el uso de conectivos lógicos, tablas de verdad y esquemas moleculares. Los problemas piden formalizar enunciados, determinar matrices finales de esquemas moleculares, evaluar tablas de verdad y encontrar negaciones.

    Copyright:

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

    Formalizacion Deproposiones

    Cargado por

    MILLAN
    El documento presenta 20 problemas de razonamiento lógico que involucran el uso de conectivos lógicos, tablas de verdad y esquemas moleculares. Los problemas piden formalizar enunciados, determinar matrices finales de esquemas moleculares, evaluar tablas de verdad y encontrar negaciones.

    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 2

    Escuela Profesional : Arquitectura

    Asignatura : Razonamiento Lógico


    Docente : Mg. Edwin R. Lazo Eche

    I. Use conectivos lógicos para formalizar correctamente cada uno de los siguientes enunciados.

    Enunciado Formalización
    1. El hígado es la glándula más grande del cuerpo humano además
    depura la sangre.
    2. De que una figura geométrica tenga cuatro lados iguales se deriva
    que es un cuadrado o un rombo, pero si la figura geométrica tiene
    cuatro lados iguales así como cuatro ángulos rectos es obvio que es
    un cuadrado
    3. Es absurdo que la caja torácica esté formada por menos de 11 pares
    de costillas dado que éstas se unen por delante al esternón
    4. La progresión geométrica no es creciente si su razón esta entre 0 y 1,
    salvo que su razón es mayor que 1, por consiguiente es creciente.
    5. Ya que el cuerpo se encuentra en reposo o en equilibrio es evidente
    que permanecerá en estas condiciones, incluso ninguna fuerza
    actuará sobre el cuerpo
    6. Si el agua pasa de estado líquido a sólido entonces se solidifica,
    asimismo si pasa de estado gaseoso a líquido implica que se
    condensa.
    7. Toda vez que un catión es un átomo que nunca ha perdido electrones,
    por consiguiente posee un número de cargos positivas siempre y
    cuando el catión es un átomo que ha perdido electrones.
    8. Si la pendiente del ángulo de inclinación de una recta es positiva, es
    evidente que el ángulo es agudo debido a que si no es positiva,
    derivamos que el ángulo es obtuso
    9. Los meteoritos son de composición rocosa o metálica, igualmente
    los cometas están formados de polvo cósmico.
    10. La sacarosa y la lactosa son glúcidos implica que los glúcidos
    contienen azúcares, salvo que ni la sacarosa ni la lactosa son
    glúcidos, por eso los glúcidos jamás contienen azucares.
    11. Ni el occipital ni el frontal son músculos del tórax porque y solo
    porque ambos son músculos cutáneo del cráneo.
    12. O Juan es arquitecto o María es enfermera; aun cuando, es absurdo
    que María sea enfermera.

    II. Resuelva cada una de las siguientes situaciones empleando tablas de verdad.
    Razonamiento Lógico

    13. Determine la matriz final de los siguientes esquemas moleculares:


    a)  q  p  q  p  p  q
    b)  p  q  r   r  q  p

    c) (pq)  (qp)

    14. Sí la proposición representada por:  p  q  r es falsa, determine una posibilidad para p, q y r,


    sabiendo que el valor de q  r .

    15. Si p q  VFVF . Determine la matriz final del esquema: p  q  p  p

    16. Si la matriz final de una metavariable H es VFFV y la matriz final de otra metavariable G es VFVF,
    entonces determine la matriz final de la fórmula  H  G .

    17. Si el esquema molecular  p  r   r  q es falso, y las otras variables tienen valor de verdad
    desconocido, determine el valor de verdad de cada uno de los esquemas:
    a) p  s  q b)  t  q  p c) s  t   r

    18. Si p  q   p  q  p . Determine la matriz final de:


    a) p  q  q b) p  q  p c) p  q  q  p

    19. Evaluar la tabla de verdad de la siguiente proposición compuesta: “Si el triángulo tiene dos lados
    iguales entonces el triángulo se llama isósceles, empero el triángulo no se llama isósceles. Si y sólo
    si el triángulo no tiene dos lados iguales”.

    20. Determine la negación de la matriz final de: “Al amarse María y Juan, es obvio que contraerán
    matrimonio a fin de mes de mayo en la ciudad de Lima”

    También podría gustarte