Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 1K vistas

    Eva Logica Sem 5

    Cargado por

    jhommart
    Este documento describe una actividad de evaluación sobre herramientas de lógica computacional. La actividad consiste en 5 preguntas sobre leyes de De Morgan, sustitución de términos, teoremas del cálculo de predicados y axiomas. El estudiante respondió correctamente todas las preguntas y obtuvo una calificación total de 50/50.

    Copyright:

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

    Eva Logica Sem 5

    Cargado por

    jhommart
    1K vistas4 páginas
    Este documento describe una actividad de evaluación sobre herramientas de lógica computacional. La actividad consiste en 5 preguntas sobre leyes de De Morgan, sustitución de términos, teoremas del cálculo de predicados y axiomas. El estudiante respondió correctamente todas las preguntas y obtuvo una calificación total de 50/50.

    Descripción original:

    taller

    Título original

    EvaLogicaSem5

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Este documento describe una actividad de evaluación sobre herramientas de lógica computacional. La actividad consiste en 5 preguntas sobre leyes de De Morgan, sustitución de términos, teoremas del cálculo de predicados y axiomas. El estudiante respondió correctamente todas las preguntas y obtuvo una calificación total de 50/50.

    Copyright:

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

    Eva Logica Sem 5

    Cargado por

    jhommart
    Este documento describe una actividad de evaluación sobre herramientas de lógica computacional. La actividad consiste en 5 preguntas sobre leyes de De Morgan, sustitución de términos, teoremas del cálculo de predicados y axiomas. El estudiante respondió correctamente todas las preguntas y obtuvo una calificación total de 50/50.

    Copyright:

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

    19/4/2020 Actividad de puntos evaluables - Escenario 5: PRIMER BLOQUE-TEORICO/HERRAMIENTAS DE LOGICA COMPUTACIONAL-[GRUPO1]

    Actividad de puntos evaluables - Escenario 5

    Fecha de entrega 21 de abr en 23:55 Puntos 50 Preguntas 5


    Disponible 18 de abr en 0:00 - 21 de abr en 23:55 4 días Límite de tiempo 90 minutos
    Intentos permitidos 2

    Instrucciones

    https://poli.instructure.com/courses/13461/quizzes/47877 1/4
    19/4/2020 Actividad de puntos evaluables - Escenario 5: PRIMER BLOQUE-TEORICO/HERRAMIENTAS DE LOGICA COMPUTACIONAL-[GRUPO1]

    Volver a realizar el examen

    Historial de intentos

    Intento Hora Puntaje


    MÁS RECIENTE Intento 1 3 minutos 50 de 50

     Las respuestas correctas estarán disponibles del 22 de abr en 23:55 al 23 de abr en 23:55.

    Puntaje para este intento: 50 de 50


    Entregado el 19 de abr en 16:32
    Este intento tuvo una duración de 3 minutos.

    Pregunta 1 10 / 10 pts

    ¿Cuál es una ley generalizada De Morgan?

    Pregunta 2 10 / 10 pts

    Al tratar de realizar la sustitución se obtiene


    que:

    La sustitución es posible y se obtiene una expresión equivalente a False.

    https://poli.instructure.com/courses/13461/quizzes/47877 2/4
    19/4/2020 Actividad de puntos evaluables - Escenario 5: PRIMER BLOQUE-TEORICO/HERRAMIENTAS DE LOGICA COMPUTACIONAL-[GRUPO1]

    La sustitución es posible y se obtiene una expresión equivalente a True.

    No es posible la sustitución, dado que no es libre para reemplazar en


    .

    No es posible dado que el término no tiene variables libres.

    Pregunta 3 10 / 10 pts

    ¿Cuál de las siguientes fórmulas es un teorema?

    para toda variable

    Pregunta 4 10 / 10 pts

    Seleccione la opción que corresponda a un axioma del cálculo de


    predicados:

    Predicado y cuantificador.

    Generalización de la igualdad.

    Término constante.

    https://poli.instructure.com/courses/13461/quizzes/47877 3/4
    19/4/2020 Actividad de puntos evaluables - Escenario 5: PRIMER BLOQUE-TEORICO/HERRAMIENTAS DE LOGICA COMPUTACIONAL-[GRUPO1]

    Axioma de predicado.

    Pregunta 5 10 / 10 pts

    Una expresión equivalente a es:

    Puntaje del examen: 50 de 50

    https://poli.instructure.com/courses/13461/quizzes/47877 4/4

    También podría gustarte