Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 261 vistas

    Tarea Lógica de Sistemas

    Cargado por

    David De León
    Este documento presenta un resumen de un curso de lógica de sistemas en la Universidad Mariano Gálvez de Guatemala. Incluye ejemplos de proposiciones lógicas resueltas mediante notación de cuantificadores y la identificación de proposiciones atómicas representadas con conectivos lógicos. También asigna valores de verdad a varias proposiciones y las une con conectivos lógicos para expresar relaciones lógicas.

    Copyright:

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

    Tarea Lógica de Sistemas

    Cargado por

    David De León
    261 vistas4 páginas
    Este documento presenta un resumen de un curso de lógica de sistemas en la Universidad Mariano Gálvez de Guatemala. Incluye ejemplos de proposiciones lógicas resueltas mediante notación de cuantificadores y la identificación de proposiciones atómicas representadas con conectivos lógicos. También asigna valores de verdad a varias proposiciones y las une con conectivos lógicos para expresar relaciones lógicas.

    Descripción original:

    Ejercicios

    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 resumen de un curso de lógica de sistemas en la Universidad Mariano Gálvez de Guatemala. Incluye ejemplos de proposiciones lógicas resueltas mediante notación de cuantificadores y la identificación de proposiciones atómicas representadas con conectivos lógicos. También asigna valores de verdad a varias proposiciones y las une con conectivos lógicos para expresar relaciones lógicas.

    Copyright:

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

    Tarea Lógica de Sistemas

    Cargado por

    David De León
    Este documento presenta un resumen de un curso de lógica de sistemas en la Universidad Mariano Gálvez de Guatemala. Incluye ejemplos de proposiciones lógicas resueltas mediante notación de cuantificadores y la identificación de proposiciones atómicas representadas con conectivos lógicos. También asigna valores de verdad a varias proposiciones y las une con conectivos lógicos para expresar relaciones lógicas.

    Copyright:

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

    UNIVERSIDAD MARIANO GALVEZ DE GUATEMALA

    CAMPUS HUEHUETENANGO
    FACULTAD INGENIERIA EN SISTEMAS
    CURSO LOGICA DE SISTEMAS
    ING. JHONNY SELVIAROLDO MORALES TELLO

    TEMA: PROPOSICIONES

    SELVYN DAVID DE LEÓN DE LEÓN


    CARNÉ 0904-18-13851
    23 de marzo 2018
    A. Resolver mediante notación de cuantificadores las siguientes
    expresiones.
    1. Para toda x, si x es hormiga entonces x es insecto.
    (Ɐx)(Hx→lx)
    2. Existe al menos un x, tal que x es animal y x es carnívoro.
    (ⱻx)(AxʌCx)
    3. Todos los gatos tienen cola.
    (Ɐx) Gx→Cx

    B. Identifique cada una de las proposiciones y represéntela de


    forma atómica, coloque el valor de verdad de cada proposición, luego
    colóquela de forma simbólica utilizando los conectivos lógicos
    1. María es hermana de Juan y Pedro quiere mucho a María y Juan no es
    amigo de Pedro y María no le gusta Pedro.
    (pʌq)(rʌs)(tʌu)

    2. La gravedad es la fuerza de atracción hacia la tierra o los Planetas Giran


    alrededor del Sol.
    pvq

    3. Si Wilson no es deportista y Juliana es Karateca entonces los dos están en


    forma.
    pʌ→q

    4. Si Marcos canta entonces yo toco la guitarra.


    p→q

    5. Huehuetenango es departamento de Guatemala si y solo si Xela es


    municipio de Quetzaltenango.
    p( )q
    6. Yo pienso en ti, tú vives en mi mente.

    7. Abre la puerta o te voy a regañar.


    p˅q

    8. Lucas no cuenta las manzanas o no come peras y le gusta bailar.


    p˅ʌq
    9. Si la Matemática y la Física son ciencias exactas entonces la Lógica
    Matemática es Exacta.
    pʌ→q

    10. Si el partido es en Chiantla ¿a qué hora llegamos?

    11.Margarita sale a nadar si y solo si el día esta soleado entonces usara traje
    de baño.
    p( )→q
    12.La tecnología no es importantes en la sociedad o sí?
    p˅q

    C. Coloque el valor de verdad de cada proposición en forma


    simbólica, luego utilice conectivos lógicos para unir una o varias
    proposiciones con algún sentido lógico.
    p: Julio está en el carro entonces voy a poder ir. F

    q: Marcos no come carne y está bien de salud. F

    r: Huehuetenango es tierra de montañas y con culturas. V


    s: La tecnología es la aplicación de la ciencia entonces es importante en la
    sociedad. V

    t: Yo no quiero trabajar entonces tendré tiempo. F

    u: Guatemala es el país de la eterna primavera y personas con culturas. V

    v: El deposita la basura en su lugar entonces el protege el medio ambiente de la


    contaminación. V

    w: La UMG es la mejor universidad y en Huehuetenango tiene el mejor campus. F

    x: La energía eléctrica es vital para el desarrollo entonces es una herramienta de


    mucha utilidad. V

    y: Carmen no es una mala persona y tiene buenos hábitos. V

    z: El planeta es redondo y gira alrededor del sol. V

    También podría gustarte

    pFad - Phonifier reborn

    Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

    Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


    Alternative Proxies:

    Alternative Proxy

    pFad Proxy

    pFad v3 Proxy

    pFad v4 Proxy