Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 101 vistas

    Tarea 1

    Cargado por

    Christian Cifuentes
    El documento presenta una tarea para los estudiantes de generar tablas de verdad para expresiones lógicas. Los estudiantes deben seleccionar un ejercicio y anunciarlo en un foro para evitar repeticiones. Luego deben definir proposiciones simples en lenguaje natural, generar la tabla de verdad manual y con un simulador, y determinar si la expresión es una tautología, contradicción o contingencia. Se presenta un ejemplo resuelto.

    Copyright:

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

    Tarea 1

    Cargado por

    Christian Cifuentes
    101 vistas2 páginas
    El documento presenta una tarea para los estudiantes de generar tablas de verdad para expresiones lógicas. Los estudiantes deben seleccionar un ejercicio y anunciarlo en un foro para evitar repeticiones. Luego deben definir proposiciones simples en lenguaje natural, generar la tabla de verdad manual y con un simulador, y determinar si la expresión es una tautología, contradicción o contingencia. Se presenta un ejemplo resuelto.

    Descripción original:

    asca

    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 una tarea para los estudiantes de generar tablas de verdad para expresiones lógicas. Los estudiantes deben seleccionar un ejercicio y anunciarlo en un foro para evitar repeticiones. Luego deben definir proposiciones simples en lenguaje natural, generar la tabla de verdad manual y con un simulador, y determinar si la expresión es una tautología, contradicción o contingencia. Se presenta un ejemplo resuelto.

    Copyright:

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

    Tarea 1

    Cargado por

    Christian Cifuentes
    El documento presenta una tarea para los estudiantes de generar tablas de verdad para expresiones lógicas. Los estudiantes deben seleccionar un ejercicio y anunciarlo en un foro para evitar repeticiones. Luego deben definir proposiciones simples en lenguaje natural, generar la tabla de verdad manual y con un simulador, y determinar si la expresión es una tautología, contradicción o contingencia. Se presenta un ejemplo resuelto.

    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 2

    Tarea 1: Proposiciones y tablas de verdad

    Cada estudiante debe seleccionar uno de los ejercicios referenciados y anunciar su


    escogencia en el foro, de tal forma que no coincida con los compañeros.

    Desde su rol como estudiante, tendrá la libertad de definir las proposiciones simples bajo
    una descripción basada en el contexto académico, remplazando las variables expresadas
    simbólicamente para llevarlas al lenguaje natural.

    La solución de los enunciados debe contar con las siguientes etapas:

     Definición de las proposiciones simples


     Lenguaje natural de la expresión formal
     Generar la tabla de verdad manualmente y a través del simulador Truth Table.
     Comprobar el resultado de la tabla de verdad manual versus simulador Truth
    Table.
     Definir si el argumento es una Tautología, contradicción o contingencia
    C. {[𝑝 → (𝑞 ∨ 𝑟)] ∧ (𝑠 →∼ 𝑞) ∧ (𝑡 →∼ 𝑟) ∧ (𝑝 ∧ 𝑡)} → 𝑞

    Si voy a la universidad entonces recibo clases de matemáticas de contabilidad si tengo


    clases de estadística no tengo clases de matemáticas. Si tengo libre la primera hora no
    tengo contabilidad. Voy a la universidad y tengo libre la primera hora por lo tanto; tengo
    clases de matemáticas.

    p: voy a la universidad.
    q: recibo clases de matemáticas.
    r: recibo clases de contabilidad.
    s: recibo clases de estadística.
    t: tengo libre la primera hora.
    tabla 1: tautología.

    También podría gustarte