Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 8K vistas

    Pensamiento Lógico Matemático Tarea 1

    Cargado por

    Patri Granados
    Este documento introduce conceptos de lógica proposicional como proposiciones, cuantificadores, conectivos lógicos y tablas de verdad. Incluye ejercicios para identificar proposiciones simples en argumentos, expresar argumentos en lenguaje simbólico y construir tablas de verdad manualmente para determinar si un argumento es una tautología, contingencia o contradicción. El objetivo es comprender el uso de tablas de verdad para evaluar proposiciones compuestas.

    Copyright:

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

    Pensamiento Lógico Matemático Tarea 1

    Cargado por

    Patri Granados
    8K vistas10 páginas
    Este documento introduce conceptos de lógica proposicional como proposiciones, cuantificadores, conectivos lógicos y tablas de verdad. Incluye ejercicios para identificar proposiciones simples en argumentos, expresar argumentos en lenguaje simbólico y construir tablas de verdad manualmente para determinar si un argumento es una tautología, contingencia o contradicción. El objetivo es comprender el uso de tablas de verdad para evaluar proposiciones compuestas.

    Descripción original:

    teoria de conjuntos

    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 introduce conceptos de lógica proposicional como proposiciones, cuantificadores, conectivos lógicos y tablas de verdad. Incluye ejercicios para identificar proposiciones simples en argumentos, expresar argumentos en lenguaje simbólico y construir tablas de verdad manualmente para determinar si un argumento es una tautología, contingencia o contradicción. El objetivo es comprender el uso de tablas de verdad para evaluar proposiciones compuestas.

    Copyright:

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

    Pensamiento Lógico Matemático Tarea 1

    Cargado por

    Patri Granados
    Este documento introduce conceptos de lógica proposicional como proposiciones, cuantificadores, conectivos lógicos y tablas de verdad. Incluye ejercicios para identificar proposiciones simples en argumentos, expresar argumentos en lenguaje simbólico y construir tablas de verdad manualmente para determinar si un argumento es una tautología, contingencia o contradicción. El objetivo es comprender el uso de tablas de verdad para evaluar proposiciones compuestas.

    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 10

    PENSAMIENTO LÓGICO MATEMÁTICO

    TAREA 1 PROPOSCICIONES Y TABLAS DE VERDAD

    Estudiante
    Gloria Granados Viloria
    Código: 1065564321

    TUTOR
    Yader Blandón
    Grupo n° 200611_967

    Universidad Nacional Abierta y a Distancia


    UNAD
    Valledupar – cesar
    2019
    INTRODUCCIÓN

    En el presente trabajo vamos abordar de proposiciones y tablas de


    verdad.
    Las proposiciones son enunciados que constituyen una oración que tiene
    un valor de verdad o falsedad, la tabla de verdad es un esquema que
    sirve para determinar los valores de verdad de las proposiciones
    compuestas.
    OBJETIVOS
    Este trabajo busca que se conozcan y apliquen los conceptos de lógica
    proporcional.
    Conocer los diferentes tipos de conectivos lógicos.
    Trabajar con las diferentes tipos de proposiciones a través de tabla de
    verdad.
    Ejercicio 1: Conceptualización de Cuantificadores

    CUANTIFICADOR UNIVERSAL AFIRMATIVO

    Se utiliza para afirmar que todos los elementos de un conjunto cumplen


    con una determinada propiedad.

     Las frases que comúnmente se usan para denotar el cuantificador


    universal afirmativo son:

     Todos X - todo X
     Para cada X
     Cada X
     Cada uno X
     Siempre que X
     Cualquiera X
     Para todo X

    EJEMPLO DE CUANTIFICADOR UNIVERAL AFIRMATIVO

     Todos los chilenos comen salmón y juegan fútbol


     Ɐx (chileno(x) colombiano(x) )

     Todos los bogotanos son colombianos

     Ɐx (Bogotano(x) Colombiano(x) )

     Siempre que el equipo gana o empata, todos quedan felices.

     Ɐx (feliz(x) equipogana(x) v equipoempata(x) )

    LINK :https://prezi.com/p/f_ti2kei_btp/
    Ejercicio 2: Proposiciones y Tablas de verdad

    A. Si el vehículo de Gabriela necesita mantenimiento entonces, ella lo


    lleva al concesionario o Si ella no lo lleva al concesionario
    entonces, lo lleva taller de Fernando.

     Definir las proposiciones simples del argumento

    P: si el vehículo de Gabriela necesita mantenimiento.


    q: ella lo lleva al concesionario o si ella no lo lleva al
    concesionario
    r: lo lleva al taller de Fernando

     Definir la expresión simbólica o formal

     [ ( p → q) ᵛ (¬q → r) ]

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


    a partir del lenguaje simbólico.
     [ ( p → q) ᵛ (¬q → r) ]

    P q r [(p → q) ᵛ (¬q → r)]

    V V V V
    V V F V
    V F V V
    V F F F
    F V V V
    F V F V
    F F V V
    F F F V
     Genera una tabla de verdad manualmente a partir del
    lenguaje simbólico y determinar si el resultado es una
    tautología, contingencia o contradicción.

    TABLA DE VERDAD
    p q r ¬q (p → q) (¬q → r ) [( p →q )ᴠ (¬q →r) ]
    V V V F V V V
    V V F F V V V
    V F V V F V V
    V F F V F F F
    F V V F V V V
    F V F F V V V
    F F V V V V V
    F F F V V F F

     Resultado de la tabla de verdad: CONTINGENCIA


    Ejercicio 3: Problemas de aplicación

     Proposiciones compuestas en lenguaje simbólico (argumento) para


    el desarrollo del ejercicio.
    A. (p ^ q) → (r ^ s)

     Definición de las proposiciones simples:


    p: juan estudia
    q: realiza las tareas
    r: obtiene buenas notas
    s: gana el año

     Juan estudia y realiza las tareas entonces obtiene buenas notas y


    gana el año.

     Tabla de verdad simulador lógica UNAD

    TABLA DE VERDAD SIMULADOR LOGICA 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 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.

    TABLA DE VERDAD EJERCICIO # 3


    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 f v v
    v f v f f f v
    v f f v f f v
    v f f f f f v
    f v v v f v v
    f v v f f f v
    f v f v f f v
    f v f f f f v
    f f v v f v v
    f f v f f f v
    f f f v f f v
    f f f f f f v

     Resultado tabla de verdad: CONTINGENCIA


    CONCLUSIÓN
    Con este trabajo se logra comprender el uso de las tablas de verdad
    gracias a las actividades propuestas se logra identificar y comprender
    las distintas proposiciones e implementar su uso, aplicando los
    simuladores y tabla de verdad.
    BIBLIOGRAFÍA

    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&do
    cID=3199701&tm=1529510366591

    Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y


    fundamentos de álgebra lineal. Volumen I: conjuntos numéricos, complementos. (pp.
    19-28). Madrid, España: Editorial Tébar Flores.

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


    computación. (pp. 9-28). Ediciones Elizcom, Madrid.

    También podría gustarte