Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 307 vistas

    Pensamiento Logico Matemático Fase 1

    Cargado por

    Andres Acevedo
    Este documento presenta tres ejercicios para practicar el uso de tablas de verdad y cuantificadores lógicos. En el primer ejercicio, se representan proposiciones categóricas usando cuantificadores universales y existenciales. El segundo ejercicio involucra el uso de una tabla de verdad para determinar si una proposición compuesta es una tautología, contradicción o contingencia. El tercer ejercicio también usa una tabla de verdad para evaluar otra proposición compuesta.

    Copyright:

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

    Pensamiento Logico Matemático Fase 1

    Cargado por

    Andres Acevedo
    307 vistas9 páginas
    Este documento presenta tres ejercicios para practicar el uso de tablas de verdad y cuantificadores lógicos. En el primer ejercicio, se representan proposiciones categóricas usando cuantificadores universales y existenciales. El segundo ejercicio involucra el uso de una tabla de verdad para determinar si una proposición compuesta es una tautología, contradicción o contingencia. El tercer ejercicio también usa una tabla de verdad para evaluar otra proposición compuesta.

    Descripción original:

    pensamiento logico matematico

    Título original

    pensamiento logico matemático fase 1

    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?

    Este documento presenta tres ejercicios para practicar el uso de tablas de verdad y cuantificadores lógicos. En el primer ejercicio, se representan proposiciones categóricas usando cuantificadores universales y existenciales. El segundo ejercicio involucra el uso de una tabla de verdad para determinar si una proposición compuesta es una tautología, contradicción o contingencia. El tercer ejercicio también usa una tabla de verdad para evaluar otra proposición compuesta.

    Copyright:

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

    Pensamiento Logico Matemático Fase 1

    Cargado por

    Andres Acevedo
    Este documento presenta tres ejercicios para practicar el uso de tablas de verdad y cuantificadores lógicos. En el primer ejercicio, se representan proposiciones categóricas usando cuantificadores universales y existenciales. El segundo ejercicio involucra el uso de una tabla de verdad para determinar si una proposición compuesta es una tautología, contradicción o contingencia. El tercer ejercicio también usa una tabla de verdad para evaluar otra proposición compuesta.

    Copyright:

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

    UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA-UNAD

    CEAD DUITAMA

    PENSAMIENTO LOGICO MATEMÁTICO

    “USO DE LAS TABLAS DE VERDAD”

    GRUPO: (200611_650)

    ESTUDIANTE

    SANDRA MARCELA ACEVEDO GONZALEZ

    TUTOR

    DIEGO FERNANDO VEGA

    2020
    INTRODUCCION

    Este trabajo práctico se realiza con la finalidad de brindar elementos para

    aprender a usar los cuantificadores universal y existencial en la construcción

    de preposiciones categóricas y así mismo aprender a representarlos.

    También nos enseña a distinguir los cuantificadores lo cual nos ayuda

    para representarlos gráficamente.

    Cuantificador Universal Afirmativo.

    Cuantificador Universal negativo.

    Cuantificador Existencial.

    Cuantificador Existencial Único.

    Equivalencias entre cuantificadores

    OBJETIVOS

     Representar proposiciones

     Identificar y clasificar las proposiciones categóricas.

     Establecer el tipo de proposición que se presenta entre dos

    proposiciones categóricas.

     Identificar los cuantificadores afirmativos, negativos, existencial,

    existencial uno y equivalencias entre cuantificadores.


    DESARROLLO

    EJERCICIO 1

    https://onedrive.live.com/edit.aspx?

    action=edit&resid=B56FBF2E60B37227!416&ithint=file

    %2cpptx&wdNewAndOpenCt=1586380543893&wdPreviousSession=8c

    b6f54f-1b0a-47c5-9e2e-3deed3df48ad&wdOrigin=OFFICECOM-

    WEB.START.NEW

    En esta actividad escogí para desarrollar los ejercicios de la guía

    correspondientes a la letra A

    EJERCICIO 2
    A continuación, encontrará los argumentos para el desarrollo del ejercicio 2

    A. Cali es la capital de la salsa o Medellín es la ciudad de la eterna


    primavera si y solo si Bucaramanga es la ciudad bonita y Barranquilla
    es la puerta de oro de Colombia.

     Definir las proposiciones simples del argumento.

    P=cali es la capital de la salsa


    Q=medellin es la ciudad de la eterna primavera
    R=Bucaramanga en la ciudad bonita
    S=barranquilla es la puerta de oro de Colombia

     Definir la expresión del argumento en lenguaje simbólico o formal.

    [(P∨Q)↔(R∧S)]
     Generar una tabla de verdad con el simulador Lógica UNAD a partir
    del lenguaje simbólico (El estudiante encontrará la Guía para el uso de
    recursos educativos Simulador Lógica UNAD, en el Entorno de
    Aprendizaje Práctico, así como el link de acceso al recurso)

    TABLA – RESULTADOS SIMULADOR LÓGICA UNAD

    P q r s (p∨q)↔(r∧s)
    V v v v V
    V v v f F
    V v f v F
    V v f f F
    V f v v V
    V f v f F
    V f f v F
    V f f f F
    F v v v V
    F v v f F
    F v f v F
    F v f f F
    F f v v F
    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 y determinar si el resultado es una tautología, contingencia o
    contradicción.

    (P∨Q)↔(R∧S
    P Q R S (P∨Q) (R∧S)
    )
    V V V V V V V
    V V V F V F F
    V V F V V F F
    V V F F V F F
    V F V V V V V
    V F V F V F F
    V F F V V F F
    V F F F V F F
    F V V V V V V
    F V V F V F F
    F V F V V F F
    F V F F V F F
    F F V V F V F
    F F V F F F V
    F F F V F F V
    F F F F F F V

     Definir si el argumento seleccionado inicialmente es una tautología,


    contradicción o contingencia

    Rta/ contingencia

    EJERCICIO 3

    Ejercicios de letra A
    Descripción del ejercicio:

    A continuación, encontrará proposiciones compuestas en lenguaje simbólico


    (argumento) para el desarrollo del ejercicio 3:

    A. (¬ p ∧ r) ↔¿ )
     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 UNAD es una universidad presencial,


    Q= es una universidad virtual de fácil aprendizaje

    R= te esfuerzas mucho

    S= dedicas tiempo

    ORACION COMPUESTA

    La UNAD no es una universidad presencial y es una universidad virtual de

    fácil aprendizaje, si solo si, te esfuerzas mucho o dedicas tiempo

     Generar una tabla de verdad con el simulador Lógica UNAD a partir


    del lenguaje simbólico (El estudiante encontrará la Guía para el uso de
    recursos educativos Simulador Lógica UNAD, en el Entorno de
    Aprendizaje Práctico, así como el link de acceso al recurso)

    JTabla – Resultados Simulador Lógica UNAD

    p Q r s (~p∧r)↔(q∨s)
    v V v v F
    v V v f F
    v V f v F
    v V f f F
    v F v v F
    v F v f V
    v F f v F
    v F f f V
    f V v v V
    f V v f V
    f V f v F
    p Q r s (~p∧r)↔(q∨s)
    f V f f F
    f F v v V
    f F v f F
    f F f v F
    f F f f V

     Generar una tabla de verdad manualmente a partir del lenguaje


    simbólico (En Word, Excel o foto del desarrollo manual).

    (~P∧R)↔(Q∨S
    P Q R S (~P∧R) (QvS)
    ~P )
    V V V V F F V F
    V V V F F F V F
    V V F V F F V F
    V V F F F F V F
    V F V V F F V F
    V F V F F F F V
    V F F V F F V F
    V F F F F F F V
    F V V V V V V V
    F V V F V V V V
    F V F V V F V F
    F V F F V F V F
    F F V V V V V V
    F F V F V V F F
    F F F V V F V F
    F F F F V F F V

     Definir si el argumento seleccionado inicialmente es una tautología,


    contradicción o contingencia

    Rta/ contingencia

    CONCLUSIONES
     La actividad de la tabla de la verdad me permitió adquirir
    conocimientos para saber cómo resolver los problemas de lógica
    proposicional.

    REFERENCIAS

    Cardona, T. S. A. (2010). Lógica matemática para ingeniería de


    sistemas y computación. (pp. 106-112). Ediciones Elizcom, Madrid.
    Recuperado de
    https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?
    ppg=109&docID=3199701&tm=1529510366591. Consultado 7 de
    abril de 2020

    Cuantificador universal. (2017, 8 de mayo). Wikipedia, La enciclopedia


    libre. Fecha de consulta: 20:15, febrero 20, 2019 desde
    https://es.wikipedia.org/w/index.php?
    title=Cuantificador_universal&oldid=98965049. Consultado 7 de abril
    de 2020 

     López, B. (S.F). Cuantificadores Universales. Recuperado


    de http://www.itnuevolaredo.edu.mx/takeyas/Apuntes/inteligencia
    %20artificial/Apuntes/IA/Filminas-Cuantificadores.PDF. Consultado 7
    de abril de 2020

    También podría gustarte