Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 35 vistas

    Logica Matematica Ejercicios

    Cargado por

    sandra ramos de angel
    El documento presenta una expresión lógica que relaciona tres proposiciones: (1) Génesis estudia administración de empresas, (2) Costos y presupuestos es una materia en administración de empresas, y (3) Leslie estudia administración de empresas. Se define la expresión en lenguaje natural y se genera una tabla de verdad que muestra que la expresión es una tautología, lo que significa que el argumento es válido.

    Copyright:

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

    Logica Matematica Ejercicios

    Cargado por

    sandra ramos de angel
    35 vistas8 páginas
    El documento presenta una expresión lógica que relaciona tres proposiciones: (1) Génesis estudia administración de empresas, (2) Costos y presupuestos es una materia en administración de empresas, y (3) Leslie estudia administración de empresas. Se define la expresión en lenguaje natural y se genera una tabla de verdad que muestra que la expresión es una tautología, lo que significa que el argumento es válido.

    Título original

    LOGICA MATEMATICA EJERCICIOS

    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 una expresión lógica que relaciona tres proposiciones: (1) Génesis estudia administración de empresas, (2) Costos y presupuestos es una materia en administración de empresas, y (3) Leslie estudia administración de empresas. Se define la expresión en lenguaje natural y se genera una tabla de verdad que muestra que la expresión es una tautología, lo que significa que el argumento es válido.

    Copyright:

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

    Logica Matematica Ejercicios

    Cargado por

    sandra ramos de angel
    El documento presenta una expresión lógica que relaciona tres proposiciones: (1) Génesis estudia administración de empresas, (2) Costos y presupuestos es una materia en administración de empresas, y (3) Leslie estudia administración de empresas. Se define la expresión en lenguaje natural y se genera una tabla de verdad que muestra que la expresión es una tautología, lo que significa que el argumento es válido.

    Copyright:

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

    E:

    1.

    p: Rafael Pombo es un escritor colombiano

    q: Gabriel García Márquez escribió Mirringa Mirronga como Simón el bobito

    r: Rafael Pombo nació en Bogotá en el año 1833

    [(𝑝 ∨ 𝑞) ↔ 𝑟] ∧ 𝑟

    a)

    (𝑝 ∨ 𝑞)𝑟= Rafael Pombo es un escritor colombiano ó Gabriel García Márquez escribió Mirringa
    Mirronga como Simón el bobito

    (𝑝 ∨ 𝑞) ↔ 𝑟= Rafael Pombo es un escritor colombiano ó Gabriel García Márquez escribió Mirringa


    Mirronga como Simón el bobito si y solo si Rafael Pombo nació en Bogotá en el año 1833

    [(𝑝 ∨ 𝑞) ↔ 𝑟] ∧ 𝑟= Rafael Pombo es un escritor colombiano ó Gabriel García Márquez escribió


    Mirringa Mirronga como Simón el bobito si y solo si Rafael Pombo nació en Bogotá en el año 1833
    y Rafael Pombo nació en Bogotá en el año 1833.

    b)

    𝑝 𝑞 𝑟 (𝑝 ∨ 𝑞) (𝑝 ∨ 𝑞) ↔ 𝑟 [(𝑝 ∨ 𝑞) ↔ 𝑟] ∧ 𝑟
    V V V V V V
    V V F V F F
    V F V V V V
    V F F V F F
    F V V V V V
    F V F V F F
    F F V F F F
    F F F F V F

    EL RESULTADO ES UNA CONTINGENCIA


    c)

    2.

    a)

    Simplificación (S)
    Silogismo hipotético (SH)

    Modus Ponendus Ponens (MMP)

    b)

    P= Génesis estudia en el colegio Luis Carlos Galán

    q= Electrónica es una clase Dictada en el colegio Luis Carlos Galán

    r= Leslie estudia en el colegio Luis Carlos Galán

    s= Leslie asiste a la Clase de Electrónica

    r= Leslie estudia en el colegio Luis Carlos Galán

    s= Leslie asiste a la Clase de Electrónica

    r ꓥ s= Leslie estudia en el colegio Luis Carlos Galán y asiste a la Clase de Electrónica


    p= Génesis estudia en el colegio Luis Carlos Galán

    q= Electrónica es una clase Dictada en el colegio Luis Carlos Galán

    r= Leslie estudia en el colegio Luis Carlos Galán

    p→q= Génesis estudia en el colegio Luis Carlos Galán entonces Electrónica es una clase Dictada en
    el colegio Luis Carlos Galán

    q→r= Electrónica es una clase Dictada en el colegio Luis Carlos Galán entonces Leslie estudia en el
    colegio Luis Carlos Galán

    p= Génesis estudia en el colegio Luis Carlos Galán

    q= Electrónica es una clase Dictada en el colegio Luis Carlos Galán

    p→q= Génesis estudia en el colegio Luis Carlos Galán entonces Electrónica es una clase Dictada en
    el colegio Luis Carlos Galán

    -q= Electrónica No es una clase Dictada en el colegio Luis Carlos Galán

    -p= Génesis No estudia en el colegio Luis Carlos Galán


    3

    Si lavas constantemente tus manos o tomas las medidas de bioseguridad pertinentes entonces se
    puede evitar el contagio del COVID19

    𝑝 ∨ 𝑞= Se puede evitar el contagio del COVID19 O utilizas las medidas de bioseguridad

    p→r= Se puede evitar el contagio del COVID19 entonces lava constantemente tus manos

    q→s= utilizas las medidas de bioseguridad entonces debes aplicar el distanciamiento social

    r ∨ s= lava constantemente tus manos o debes aplicar el distanciamiento social.


    Ejercicio 4: Problemas de aplicación Para el desarrollo de este ejercicio, es necesario que revise en
    el Entorno de Aprendizaje (Unidad 1 - Contenidos y referentes bibliográficos), las siguientes
    referencias: • Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y
    computación. (pp. 78 - 99). Ediciones Elizcom, Madrid.

    Una vez realizada la lectura, desarrolle el ejercicio propuesto.

    Descripción del ejercicio: A continuación, encontrará la expresión simbólica, las premisas y la


    conclusión de un argumento para el desarrollo del ejercicio 4:

    A partir de la expresión simbólica seleccionada, el estudiante deberá:

    ➢ Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción basada en
    un contexto, el que se solicita es un contexto académico

    p= Génesis estudia Administración de empresas

    q= Costos y presupuestos es una materia dictada en administración de empresas

    r= Leslie estudia administración de empresas

    ➢ Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural. Las


    proposiciones simples deben ser de autoría de cada estudiante, por lo que de encontrar
    proposiciones iguales entre estudiantes se considerara como copia y se tomaran las medidas
    correctivas estipuladas por la UNAD.

    (p→q)= Génesis estudia Administración de empresas entonces Costos y presupuestos es una


    materia dictada en administración de empresas

    (q→r)= Costos y presupuestos es una materia dictada en administración de empresas entonces


    Leslie estudia administración de empresas

    (p→q)ꓥ(q→r)= Génesis estudia Administración de empresas entonces Costos y presupuestos es


    una materia dictada en administración de empresas

    (p ꓥ r)= Génesis estudia Administración de empresas y Leslie estudia administración de empresas

    [(p→q)ꓥ(q→r)ꓥ(p ꓥ r)]= Génesis estudia Administración de empresas entonces Costos y


    presupuestos es una materia dictada en administración de empresas y Génesis estudia
    Administración de empresas y Leslie estudia administración de empresas

    (q ꓥ r)= Costos y presupuestos es una materia dictada en administración de empresas y Leslie


    estudia administración de empresas
    [(p→q)ꓥ(q→r)ꓥ(p ꓥ r)]→(q ꓥ r)= Génesis estudia Administración de empresas entonces Costos y
    presupuestos es una materia dictada en administración de empresas y Génesis estudia
    Administración de empresas y Leslie estudia administración de empresas y Costos y presupuestos
    es una materia dictada en administración de empresas y Leslie estudia administración de
    empresas

    ➢ Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word, Excel o
    foto del desarrollo manual).

    p q r p→q q→r (p→q)ꓥ( q→r) (p ꓥ [(p→q)ꓥ( q→r)ꓥ(p ꓥ r (q ꓥ [(p→q)ꓥ( q→r)ꓥ(p ꓥ r)]


    r) )] r) →(q ꓥ r)
    V V V V V V V V V V
    V V F V F F F F F V
    V F V F V F V F F V
    V F F F V F F F F V
    F V V V V V F F V V
    F V F V F F F F F V
    F F V V V V F F F V
    F F F V V V F F F V

    El resultado es una Tautología

    ➢ Generar la tabla de verdad a través del simulador Lógica UNAD, el paso a paso para uso del
    simulador lo podrá encontrar en el anexo 2 (Simulador Lógica UNAD), ubicado en el entorno de
    aprendizaje en la carpeta Guía de actividades y rúbrica de evaluación - Unidad 1- Tarea 1 -
    Métodos para probar la validez de argumentos.
    [(p→q)∧(q→r)∧(p∧r)]→(q∧r)

    ➢ Demostración de la validez del argumento mediante las leyes de la inferencia lógica

    P1: p→q

    P2: q→r

    P3: (p∧r)

    P4: q∧r Simplificación

    P5: Simplificación Disyuntiva

    También podría gustarte