22/3/2021 Actividad de puntos evaluables - Escenario 2: PRIMER BLOQUE-TEORICO/HERRAMIENTAS DE LOGICA COMPUTACIONAL-[GRUPO B02]

Actividad de puntos evaluables - Escenario 2

Fecha de entrega 23 de mar en 23:55 Puntos 50 Preguntas 5

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

Instrucciones

Cargando [MathJax]/jax/output/HTML-CSS/jax.js

https://poli.instructure.com/courses/21581/quizzes/71700 1/5
22/3/2021 Actividad de puntos evaluables - Escenario 2: 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 9 minutos 50 de 50

 Las respuestas correctas ya no están disponibles.

Puntaje para este intento: 50 de 50

Entregado el 22 de mar en 12:07
Cargando [MathJax]/jax/output/HTML-CSS/jax.js
Este intento tuvo una duración de 9 minutos.
https://poli.instructure.com/courses/21581/quizzes/71700 2/5
22/3/2021 Actividad de puntos evaluables - Escenario 2: PRIMER BLOQUE-TEORICO/HERRAMIENTAS DE LOGICA COMPUTACIONAL-[GRUPO B02]

Pregunta 1 10 / 10 pts

Son conectores lógicos del cálculo proposicional:

Implicación, negación, conjunción, interrogación.

Axioma de identidad, Axioma de asociatividad.

Negación, disyunción, equivalencia, implicación.

Suma, resta, multiplicación y división

Pregunta 2 10 / 10 pts

Si

E: p ∨ q

entonces al realizar la operación

E[p := p ∨ q]

se obtiene:

(p∨q)∨q(p∨q)∨q(p\lor q)\lor q

p∨qp∨qp\lor q

p∨(q∨q)p∨(q∨q)p\lor (q\lor q)

(p∨p)∨(q∨q)(p∨p)∨(q∨q)(p\lor p)\lor (q\lor q)

Cargando [MathJax]/jax/output/HTML-CSS/jax.js
Pregunta 3 10 / 10 pts
https://poli.instructure.com/courses/21581/quizzes/71700 3/5
22/3/2021 Actividad de puntos evaluables - Escenario 2: PRIMER BLOQUE-TEORICO/HERRAMIENTAS DE LOGICA COMPUTACIONAL-[GRUPO B02]

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

A ≡ False ≡ A

eg(eg(A ≡ egB) ≡ Aot ≡ B

egP ≡ true

A ≡ egA ≡ true

Pregunta 4 10 / 10 pts

Si

es un teorema, entonces es correcto afirmar que:

eg(egP) ≡ false

egP ≡ true

P ≡ true

P ∧ egP ≡ true

Cargando [MathJax]/jax/output/HTML-CSS/jax.js

https://poli.instructure.com/courses/21581/quizzes/71700 4/5
22/3/2021 Actividad de puntos evaluables - Escenario 2: PRIMER BLOQUE-TEORICO/HERRAMIENTAS DE LOGICA COMPUTACIONAL-[GRUPO B02]

Pregunta 5 10 / 10 pts

¿Cuál es una simbolización, en el cálculo proposicional, de la sentencia:

Carol se marea siempre que monta en una barca o en avión?:

(p → q) ∨ r

p∧q∧r

(p ∨ q) → r

p → (q ∨ r)

Puntaje del examen: 50 de 50

Cargando [MathJax]/jax/output/HTML-CSS/jax.js

https://poli.instructure.com/courses/21581/quizzes/71700 5/5