Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 20 vistas

    Ejercicio 2 Unidad 1 - Manuel Alejandro Chacon

    Cargado por

    AlejandroChacon
    El documento presenta un ejercicio sobre conectivos lógicos y tablas de verdad. Se define un argumento con varias proposiciones y se pide generar la expresión en lenguaje simbólico, hacer una tabla de verdad manualmente y determinar si es tautología, contingencia o contradicción.

    Copyright:

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

    Ejercicio 2 Unidad 1 - Manuel Alejandro Chacon

    Cargado por

    AlejandroChacon
    20 vistas4 páginas
    El documento presenta un ejercicio sobre conectivos lógicos y tablas de verdad. Se define un argumento con varias proposiciones y se pide generar la expresión en lenguaje simbólico, hacer una tabla de verdad manualmente y determinar si es tautología, contingencia o contradicción.

    Título original

    Ejercicio 2 unidad 1_Manuel Alejandro Chacon

    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 conectivos lógicos y tablas de verdad. Se define un argumento con varias proposiciones y se pide generar la expresión en lenguaje simbólico, hacer una tabla de verdad manualmente y determinar si es tautología, contingencia o contradicción.

    Copyright:

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

    Ejercicio 2 Unidad 1 - Manuel Alejandro Chacon

    Cargado por

    AlejandroChacon
    El documento presenta un ejercicio sobre conectivos lógicos y tablas de verdad. Se define un argumento con varias proposiciones y se pide generar la expresión en lenguaje simbólico, hacer una tabla de verdad manualmente y determinar si es tautología, contingencia o contradicción.

    Copyright:

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

    Conectivos Lógicos y Teoría de Conjuntos

    Manuel Alejandro Chacon

    Tutor:

    Oscar Javier Sotelo

    Curso: 90004_380

    Universidad nacional abierta y a distancia – UNAD

    Escuela de ciencias administrativas, contables, económicas y de negocios - ECACEN

    Administración de Empresas

    Cali, 26 de feb. De 2020


    Conectivos Lógicos y Teoría de Conjuntos

    Ejercicio 2: Tablas de verdad

    Descripción del ejercicio:

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

    e. Si Sofía es docente de matemáticas entonces enseña el curso de Estadística o el de Lógica

    matemática. Y si ella orienta Herramientas digitales, entonces Sofía no es docente de

    matemáticas.

    A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:

    • Definir las proposiciones simples del argumento.

    Si Sofía es docente de matemáticas entonces enseña el curso de Estadística o el de Lógica

    matemática. Y si ella orienta Herramientas digitales, entonces Sofía no es docente de

    matemáticas.

    p: Sofía es docente de matemáticas

    q: Sofía enseña el curso de Estadística

    r: Sofía enseña el curso de Lógica matemática.

    s: Sofía orienta Herramientas digitales


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

    [𝑝 → (𝑞 ∨ 𝑟)] ∧ (𝑠 → ¬𝑝)

    • Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje

    simbólico.
    • 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 (q∨r) (p→(q∨r)) (~p) (s→¬p) (p→(q∨r))∧(s→¬p)

    v v v v v v f f F

    v v v f v v f v V

    v v f v v v f f F

    v v f f v v f v V

    v f v v v v f f F

    v f v f v v f v V

    v f f v f f f f F

    v f f f f f f v F

    f v v v v v v v V

    f v v f v v v v V

    f v f v v v v v V

    f v f f v v v v V

    f f v v v v v v V

    f f v f v v v v V

    f f f v f v v v V

    f f f f f v v v V

    Como existe al menos un verdadero y al menos un falso, esta forma proposicional se considera

    una Contingencia, esto es cuando es verdadera de acuerdo a ciertos valores de verdad de las

    proposiciones y va a ser falso para ciertos valores de p, q y r.

    También podría gustarte