Scribd
Cargar
451 vistas4 páginas

Actividad de Puntos Evaluables - Escenario 5 - Primer Bloque-Teorico - Herramientas de Logica Computacional - (Grupo2)

Actividad de Puntos Evaluables - Escenario 5_ Primer Bloque-teorico_herramientas de Logica Computacional-[Grupo2]

Cargado por

Miguel Palacios
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
451 vistas4 páginas

Actividad de Puntos Evaluables - Escenario 5 - Primer Bloque-Teorico - Herramientas de Logica Computacional - (Grupo2)

Actividad de Puntos Evaluables - Escenario 5_ Primer Bloque-teorico_herramientas de Logica Computacional-[Grupo2]

Cargado por

Miguel Palacios
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
Está en la página 1/ 4

Volver a realizar el examen

Historial de intentos

Intento Hora Puntaje


MÁS RECIENTE Intento 1 9 minutos 50 de 50

 Las respuestas correctas estarán disponibles del 30 de sep en 23:55 al 1 de oct en 23:55.

Puntaje para este intento: 50 de 50


Entregado el 26 de sep en 23:43
Este intento tuvo una duración de 9 minutos.

Pregunta 1 10 / 10 pts

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

para toda variable

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.

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

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.

Axioma de predicado.

Pregunta 4 10 / 10 pts

¿Cuál es una ley generalizada De Morgan?


Pregunta 5 10 / 10 pts

Una expresión equivalente a es:

Puntaje del examen: 50 de 50

También podría gustarte