Cognition">
Nothing Special   »   [go: up one dir, main page]
Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 36 vistas

    200611-614-Tarea 1 - Astrid Lorena Plazas Anacona

    Cargado por

    Sara Sofia Ordóñez Plazas
    Este documento presenta tres ejercicios sobre proposiciones y tablas de verdad. El primer ejercicio define el cuantificador existencial. El segundo ejercicio traduce un argumento a lenguaje simbólico y genera una tabla de verdad. El tercer ejercicio también traduce un argumento a lenguaje simbólico y genera una tabla de verdad para verificar si es una contingencia o no. El documento concluye que la actividad permitió adquirir conocimiento sobre cómo resolver problemas de lógica proposicional mediante tablas de verdad.

    Copyright:

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

    200611-614-Tarea 1 - Astrid Lorena Plazas Anacona

    Cargado por

    Sara Sofia Ordóñez Plazas
    36 vistas14 páginas
    Este documento presenta tres ejercicios sobre proposiciones y tablas de verdad. El primer ejercicio define el cuantificador existencial. El segundo ejercicio traduce un argumento a lenguaje simbólico y genera una tabla de verdad. El tercer ejercicio también traduce un argumento a lenguaje simbólico y genera una tabla de verdad para verificar si es una contingencia o no. El documento concluye que la actividad permitió adquirir conocimiento sobre cómo resolver problemas de lógica proposicional mediante tablas de verdad.

    Descripción original:

    Título original

    200611-614-TAREA 1- ASTRID LORENA PLAZAS ANACONA

    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 sobre proposiciones y tablas de verdad. El primer ejercicio define el cuantificador existencial. El segundo ejercicio traduce un argumento a lenguaje simbólico y genera una tabla de verdad. El tercer ejercicio también traduce un argumento a lenguaje simbólico y genera una tabla de verdad para verificar si es una contingencia o no. El documento concluye que la actividad permitió adquirir conocimiento sobre cómo resolver problemas de lógica proposicional mediante tablas de verdad.

    Copyright:

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

    200611-614-Tarea 1 - Astrid Lorena Plazas Anacona

    Cargado por

    Sara Sofia Ordóñez Plazas
    Este documento presenta tres ejercicios sobre proposiciones y tablas de verdad. El primer ejercicio define el cuantificador existencial. El segundo ejercicio traduce un argumento a lenguaje simbólico y genera una tabla de verdad. El tercer ejercicio también traduce un argumento a lenguaje simbólico y genera una tabla de verdad para verificar si es una contingencia o no. El documento concluye que la actividad permitió adquirir conocimiento sobre cómo resolver problemas de lógica proposicional mediante tablas de verdad.

    Copyright:

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

    Unidad 1: Tarea 1 - Proposiciones y tablas de verdad

    Estudiante:

    Astrid Lorena Plazas Anacona

    Grupo: 614

    Tutor: Nini Johanna Vargas 

    Universidad Nacional Abierta Y a Distancia (UNAD)

    Escuela De Ciencias Sociales Artes Y Humanidades (ECSAH)

    Programa: Psicología

    Septiembre-21-2019
    Introducción

    Este trabajo se realiza con la finalidad de obtener más conocimiento sobre la lógica y
    proposiciones permite describir razonamientos basado en enunciados declarativos, tablas de
    verdad nos da a conocer los valores de una proposición compuesta, los cuales dependen de
    los conectivos utilizados, teorías de conjuntos de una manera sencilla y explicita, como
    también sus funciones y representaciones, proporcionables.

    En el siguiente trabajo, abordaremos las temáticas de la unidad 1 “Lógica proposicional” de


    la cual trabajaremos la determinación del valor de verdad, tablas de verdad, así como
    problemas de aplicación mediante la realización de ejercicios de las tres tareas prácticas
    que nos ayudaran a comprender mejor dichos temas.
    Objetivos

     Comprender el concepto de proposiciones y la forma que se pueden elaborar


    proposiciones compuesta usando conectores lógicos
     Evaluar proposiciones lógicas por medio de tablas de verdad
     Representar predicados con notación lógica, usando los cuantificadores
    existenciales y universal
     Identificar las clases de proposiciones que se pueden encontrar en un enunciado
     Conocer en la lógica proporcional que son los predicados y los cuantificadores
     Identificar y clasificar las proporciones categóricas de un argumento. Diferenciar la
    cualidad y cantidad de una proposición categórica en forma estándar
     Representar gráficamente proposiciones categóricamente de forma estándar
     Analizar los enunciados para la elaboración de las tablas de verdad
     Desarrollo de los 3 ejercicios.

    Ejercicio 1 Conceptualización de Cuantificadores


    DEFINICIÒN DEL TEMA: (C) CUANTIFICADOR EXISTENCIAL
    EJEMPLOS:
    Ejercicio 2
    C, Empresas estadounidenses no pueden negociar con empresas chinas o Google es una
    empresa estadounidense y Si Huawei es una empresa china entonces no tiene Android de
    Google.

    Definir las proposiciones simples del argumento.

    ¬p: empresas estadounidenses no pueden negociar con empresas chinas

    q: google es una empresa estadounidense

    r: huawei es una empresa china

    ¬s: no tiene Android de google

    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

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

    Tabla manual
    p q r s ¬p ¬s (¬p ∨q) (r→¬s) (¬p ∨ q) ∧ (r→¬s)

    v v v v f f v f f
    v v v f f v v v v
    v v f v f f v v v
    v v f f f v v v v
    v f v v f f f f f
    v f v f f v f v f
    v f f v f f f v f
    v f f f f v f v f
    f v v v v f v f f
    f v v f v v v v v
    f v f v v f v v v
    f v f f v v v v v
    f f v v v f v f f
    f f v f v v v v v
    f f f v v f v v v
    f f f f v v v v v

    Es una contingencia

    Ejercicio 3

    C, [ ( p ⋁ q ) ⟷ r ]

    Astrid estudia música o estudia literatura inglesa si y solo si lo exige la maya curricular
    Definir las proposiciones simples del argumento.

    P: Astrid estudia música

    Q: estudia literatura inglesa

    R: lo exige la maya curricular

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

    p q r ((p∨q)↔r)
    v v v V
    v v f F
    v f v V
    v f f F
    f v v V
    f v f F
    f f v F
    f f f V

    Tabla manual

    p q r (p∨q) (p∨q)↔r
    v v v v v
    v v f v f
    v f v v v
    v f f v f
    f v v v v
    f v f v f
    f f v f f
    f f f f v

    Es una contingencia

    Conclusiones

    Esta actividad Tarea 1 Proposiciones y Tablas de Verdad nos permitió adquirir


    conocimiento y saber cómo resolver cualquier problema que queremos realizar, se estudió a
    fondo y representamos ejemplos respectivos, dando soluciones a situaciones problemáticas
    de la lógica proporcional comprobando la tabla de verdad.
     Referencias Bibliográficas

    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

    También podría gustarte