Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 12 vistas

    23 Tarea 3 Efren Velasquez

    Cargado por

    EFREN VELASQUEZ
    El documento presenta un ejercicio sobre aplicación de la teoría de conjuntos, en el que se analizan las preferencias deportivas de 37 jóvenes. También presenta un ejercicio sobre métodos para probar la validez de un argumento lógico, en el que se expresa el argumento de forma simbólica y natural para luego generar tablas de verdad y demostrar su validez mediante leyes de inferencia.

    Copyright:

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

    23 Tarea 3 Efren Velasquez

    Cargado por

    EFREN VELASQUEZ
    12 vistas6 páginas
    El documento presenta un ejercicio sobre aplicación de la teoría de conjuntos, en el que se analizan las preferencias deportivas de 37 jóvenes. También presenta un ejercicio sobre métodos para probar la validez de un argumento lógico, en el que se expresa el argumento de forma simbólica y natural para luego generar tablas de verdad y demostrar su validez mediante leyes de inferencia.

    Descripción original:

    logica

    Título original

    90004 23 Tarea 3 Efren Velasquez

    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 un ejercicio sobre aplicación de la teoría de conjuntos, en el que se analizan las preferencias deportivas de 37 jóvenes. También presenta un ejercicio sobre métodos para probar la validez de un argumento lógico, en el que se expresa el argumento de forma simbólica y natural para luego generar tablas de verdad y demostrar su validez mediante leyes de inferencia.

    Copyright:

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

    23 Tarea 3 Efren Velasquez

    Cargado por

    EFREN VELASQUEZ
    El documento presenta un ejercicio sobre aplicación de la teoría de conjuntos, en el que se analizan las preferencias deportivas de 37 jóvenes. También presenta un ejercicio sobre métodos para probar la validez de un argumento lógico, en el que se expresa el argumento de forma simbólica y natural para luego generar tablas de verdad y demostrar su validez mediante leyes de inferencia.

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Descargar como docx, pdf o txt
    Está en la página 1de 6

    Ejercicio 1: Aplicación de la Teoría de Conjuntos

    a. Se realizó una encuentra a 37 jóvenes respecto a sus preferencias


    deportivas encontrándose la siguiente información:
     A 2 de ellos les apasiona el futbol, la natación y el ciclismo
     En total 5 de ellos les gusta el futbol y la natación
     En total a 7 de ellos les gusta la natación y el ciclismo
     Un total de 6 jóvenes manifestaron su gusto por el futbol y
    el ciclismo
     Solo 8 se apasionan por el futbol
     Solo 6 practican la natación
     A 9 de ellos solo les gusta el ciclismo.
     En total a 17 les gusta el futbol
     En total a 16 les gusta la natación.

    FUTBOL NATACION

    3
    8 6

    4 5

    CICLISMO
     ¿A cuántos jóvenes solo les gusta de manera simultánea el
    futbol y la natación?
    3
     ¿A cuántos jóvenes solo les gusta de manera simultánea el
    futbol y el ciclismo?
    4
     ¿A cuántos jóvenes solo les gusta de manera simultánea la
    natación y el ciclismo?
    5
     ¿En total a cuantos jóvenes les gusta el ciclismo?
    20

    Ejercicio 2: Métodos para probar la validez de un argumento

    a. Expresión simbólica: { [( p → q ) ∨r ] ∧ ( r →∼ p ) ∧ ( p ∧ s ) }⟶ ( q ∧ s )

    Premisas:
    P1: ( p →q ) ∨ r
    P2: r →∼ p
    P3: p ∧ s

    Conclusión: q ∧ s

     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: La familia Gómez se fue a vivir a Bogotá


    q: Camilo Gómez estudiara en una Universidad de Bogotá
    r: Camilo Gómez quiere estudiar idiomas
    s: La UNAD ofrece el programa de idiomas para estudiar

     Remplazar las variables expresadas simbólicamente y


    llevarlas al lenguaje natural. Las proposiciones simples
    deben ser de autoría de cada estudiante

    Si la Familia Gómez se fue a vivir a Bogotá entonces Camilo Gómez estudiara en una
    Universidad de Bogotá o Camilo Gómez quiere estudiar idiomas y si Camilo Gómez quiere
    estudiar idiomas entonces la familia Gómez no se fue a vivir a Bogotá y la familia Gómez
    se fue a vivir a Bogotá y la UNAD ofrece el programa de idiomas para estudiar, por lo cual
    si Camilo Gómez estudiara en una Universidad de Bogotá o la UNAD ofrece el programa de
    idiomas para estudiar.
     Generar una tabla de verdad con el simulador Truth Table a
    partir del lenguaje simbólico
    p q r s (((p→q)∨r)∧(r→~p)∧(p∧s))→
    v v v v V
    v v v f V
    v v f v V
    v v f f V
    v f v v V
    v f v f V
    v f f v V
    v f f f V
    f v v v V
    f v v f V
    f v f v V
    f v f f V
    f f v v V
    f f v f V
    f f f v V
    f f f f V
     generar una tabla de verdad manualmente a partir del
    lenguaje simbólico

    p q r s
    v v v v f v f v v v f f v
    v v v f f v f f f v f f v
    v v f v f v v v v v v v v
    v v f f f v v f f v v f v
    v f v v f f f v f v f f v
    v f v f f f f f f v f f v
    v f f v f f v v f f f f v
    v f f f f f v f f f f f v
    f v v v v v v f v v v f v
    f v v f v v v f f v v f v
    f v f v v v v f v v v f v
    f v f f v v v f f v v f v
    f f v v v v v f f v v f v
    f f v f v v v f f v v f v
    f f f v v v v f f v v f v
    f f f f v v v f f v v f v

     Demostración de la validez del argumento mediante las


    leyes de la inferencia lógica

     Premisas:
     P1: ( p → q)∨ r
     P2: r →∼ p
     P3: p ∧ s
     Conclusión: q ∧ s
     P4: p RS p3
     P5: r MTT entre p2 y p4
     P6: p →q MTP entre p1 y p5
     P7:q MPP entre p4 y p6
     P8: s RS p3
     P9: q ∧ s RA entre p7 y p8

    También podría gustarte