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