28/3/2021 Quiz - Escenario 3: PRIMER BLOQUE-TEORICO/HERRAMIENTAS DE LOGICA COMPUTACIONAL-[GRUPO B02]

Quiz - Escenario 3

Fecha de entrega 30 de mar en 23:55 Puntos 75 Preguntas 10

Disponible 27 de mar en 0:00 - 30 de mar en 23:55 4 días Límite de tiempo 90 minutos
Intentos permitidos 2

Instrucciones

Procesando notación matemática: 100 %

https://poli.instructure.com/courses/21581/quizzes/71702 1/8
28/3/2021 Quiz - Escenario 3: PRIMER BLOQUE-TEORICO/HERRAMIENTAS DE LOGICA COMPUTACIONAL-[GRUPO B02]

Volver a realizar el examen

Historial de intentos

Intento Hora Puntaje

MÁS RECIENTE Intento 1 16 minutos 75 de 75

 Las respuestas correctas ya no están disponibles.

Puntaje para este intento: 75 de 75

Entregado el 28 de mar en 13:43
Procesando notación matemática: 100 %
Este intento tuvo una duración de 16 minutos.
https://poli.instructure.com/courses/21581/quizzes/71702 2/8
28/3/2021 Quiz - Escenario 3: PRIMER BLOQUE-TEORICO/HERRAMIENTAS DE LOGICA COMPUTACIONAL-[GRUPO B02]

Pregunta 1 7.5 / 7.5 pts

Cuál es una ley De Morgan:

eg(egA ∨ B) ≡ (A ∧ B)

eg(egA ∨ B) ≡ (A ∨ egB)

eg(egA ∨ egB) ≡ (A ∧ B)

eg(A ∨ B) ≡ (egA ∨ egB)

Pregunta 2 7.5 / 7.5 pts

El anulador a derecha de la implicación es:

True.

False.

egA

Procesando notación matemática: 100 %

Pregunta 3 7.5 / 7.5 pts
https://poli.instructure.com/courses/21581/quizzes/71702 3/8
28/3/2021 Quiz - Escenario 3: PRIMER BLOQUE-TEORICO/HERRAMIENTAS DE LOGICA COMPUTACIONAL-[GRUPO B02]

Un teorema del cálculo proposicional es:

A∧B≡B

A∨B→A∧B

A∨B→B∧C

A∧B→B∨C

Pregunta 4 7.5 / 7.5 pts

Si

A→B

es equivalente a:

egB → A

A ∧ B ≡ egA

A ∨ eqB

.
Procesando notación matemática: 100 %

https://poli.instructure.com/courses/21581/quizzes/71702 4/8
28/3/2021 Quiz - Escenario 3: PRIMER BLOQUE-TEORICO/HERRAMIENTAS DE LOGICA COMPUTACIONAL-[GRUPO B02]

eg(A ∧ egB)

Pregunta 5 7.5 / 7.5 pts

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

A∨B≡B≡A≡A∧B

eg(A ∨ B) ≡ B ≡ A ≡ egA ∧ egB

A ∨ True ≡ B ≡ A ≡ A

A∨B≡B≡A≡A

Pregunta 6 7.5 / 7.5 pts

El teorema de traslación es:

A → (B → C) ≡ (A ∨ B) ∧ C

A → (B → C) ≡ (C ∧ B) → A

Procesando notación matemática: 100 %

https://poli.instructure.com/courses/21581/quizzes/71702 5/8
28/3/2021 Quiz - Escenario 3: PRIMER BLOQUE-TEORICO/HERRAMIENTAS DE LOGICA COMPUTACIONAL-[GRUPO B02]

A → (B → C) ≡ (A ∧ B) → C

A → (B → C) ≡ (A ∧ B) ∧ C

Pregunta 7 7.5 / 7.5 pts

Si

A → (egA → B)

entonces un expresión equivalente es:

egA

True

A → egB

Pregunta 8 7.5 / 7.5 pts

El anulador de la conjunción es:

P ∨ egP
Procesando notación matemática: 100 %

https://poli.instructure.com/courses/21581/quizzes/71702 6/8
28/3/2021 Quiz - Escenario 3: PRIMER BLOQUE-TEORICO/HERRAMIENTAS DE LOGICA COMPUTACIONAL-[GRUPO B02]

False

True

egP

Pregunta 9 7.5 / 7.5 pts

Es un axioma del operador booleano de la conjunción

Idempotencia

Conmutatividad

Regla de oro

Axioma de Identidad

Pregunta 10 7.5 / 7.5 pts

La afirmación "Hoy no tengo clase y hoy no tengo trabajo" es equivalente,

desde el cálculo proposicional, a:

No tento clase hoy y trabajo.

Hoy tengo clase o tengo trabajo.

No, tengo clase o trabajo hoy.

No tengo clase y si tengo trabajo hoy.

Procesando notación matemática: 100 %

https://poli.instructure.com/courses/21581/quizzes/71702 7/8
28/3/2021 Quiz - Escenario 3: PRIMER BLOQUE-TEORICO/HERRAMIENTAS DE LOGICA COMPUTACIONAL-[GRUPO B02]

Puntaje del examen: 75 de 75

Procesando notación matemática: 100 %

https://poli.instructure.com/courses/21581/quizzes/71702 8/8