23/9/2019 Examen parcial - Semana 4: RA/PRIMER BLOQUE-HERRAMIENTAS DE LOGICA COMPUTACIONAL-[GRUPO1]

Intento Tiempo Puntaje

ÚLTIMO Intento 1 33 minutos 75 de 75

 Las respuestas correctas están ocultas.

Calificación para este intento: 75 de 75

Presentado 23 de sep en 23:21
Este intento tuvo una duración de 33 minutos.

Pregunta 1 3.75 / 3.75 ptos.

Traduzca la siguiente expresión: "Un empleado es postulado para unas

vacaciones de tres semanas si: (i) él o ella es un empeado temporal que
no recibe pago adicional de vacaciones y que ha estado con la compañia
durante un año, o (ii) si el o ella es un emplado permanente que ha
estado al menos seis meses en la compañia". Utilizando las siguientes
variables proposicionales. P1:"El empleado es elegible para unas
vacaciones de tres semanas", P2: "El empleado es un empleado
temporal", P3:"El empleado recibe paga de vacaciones", P4:"El empleado
ha estado en la compañia al menos durante un año", P5: "El empleado es
un empleado permanente" y P6:"El empleado ha estado en la compañia
al menos seis meses" .En términos de estas proposiciones la expresión
en cuestión es:

(P 1 ⇐ P 2 ∧ P 3 ∧ P 4) ∨ (P 5 ∧ P 6)

P 1 ⇐ (P 2 ∧ P 3 ∧ P 4 ∨ P 5 ∧ P 6)

P 1 ⇐ (P 2 ∧ P 3 ∧ P 4) ∨ (P 5 ∧ P 6)

P1 ⇐ P2 ∧ P3 ∧ P4 ∨ P5 ∧ P6

Pregunta 2 3.75 / 3.75 ptos.

https://poli.instructure.com/courses/11004/quizzes/40235 3/11
23/9/2019 Examen parcial - Semana 4: RA/PRIMER BLOQUE-HERRAMIENTAS DE LOGICA COMPUTACIONAL-[GRUPO1]

Considere la expresión: "Si Diana gana las olimpiadas, todos la

admiraran, y ella será rica; pero si no gana, todo su esfuerzo fue en
vano". Definimos las siguientes variables proposicionales. P:"Diana gana
las olimpiadas", Q: "Todos admiran a Diana", R:"Diana será rica" y S:"El
esfuerzo de Diana fue en vano". En términos de estas proposiciones la
expresión en cuestión es:

(P ⇒ Q ∧ R) ∧ (¬P ⇒ S )

P ⇒ (Q ∧ R) ∧ ¬P ⇒ S

(P ⇒ Q ∧ R) ∧ ¬(P ⇒ S )

P ⇒ Q ∧ R ∧ ¬P ⇒ S

Pregunta 3 3.75 / 3.75 ptos.

Sean P 1 : (q ∨ r) ⇒ p yP 2 : (p ∧ q) ⇒ r . Se deduce o es consecuencia:

P2 de P y P de P
1 1 2

P1 de P , pero no P de P
2 2 1

P2 de P , pero no P de P
1 1 2

Ni P de P , ni P de P
2 1 1 2

Pregunta 4 3.75 / 3.75 ptos.

Una propiedad de la implicación ⇒ , es:

https://poli.instructure.com/courses/11004/quizzes/40235 4/11
23/9/2019 Examen parcial - Semana 4: RA/PRIMER BLOQUE-HERRAMIENTAS DE LOGICA COMPUTACIONAL-[GRUPO1]

conmutativa.

asociativa.

Ninguna de las demás opciones.

se distribuye con respecto a ∧.

Pregunta 5 3.75 / 3.75 ptos.

Dadas las premisas P 1 : p ⇒ q yP 2 : p ⇒ ¬q se puede derivar:

No se obtiene ninguna conclusión.

No se pueden suponer ambas proposiciones.

¬p

Pregunta 6 3.75 / 3.75 ptos.

Considere la afirmación: "Si usted recibe una clase de computación, y no

entiende la recursividad, usted no aprobará". Definimos las siguientes
variables proposicionales. P:"Usted recibe una clase de computación", Q:
"Usted entiende la recursividad" y R:"Usted aprueba". En términos de
estas proposiciones la afirmación en cuestión es:

P ∧ ¬Q ⇒ ¬R

P ∧ (¬Q ⇒ ¬R)

https://poli.instructure.com/courses/11004/quizzes/40235 5/11
23/9/2019 Examen parcial - Semana 4: RA/PRIMER BLOQUE-HERRAMIENTAS DE LOGICA COMPUTACIONAL-[GRUPO1]

(P ∧ ¬Q) ⇒ R

P ∧ ¬(Q ⇒ R)

Pregunta 7 3.75 / 3.75 ptos.

La identidad de la implicación ⇒ , es:

No tiene identidad.

Pregunta 8 3.75 / 3.75 ptos.

Considere la afirmación: "Nadie esta autorizado a dar la vuelta en una

autopista. Sólo los agentes de policia que se encuentren en servicio
están excentos de esta regla". Definimos las siguientes variables
proposicionales. P:"X esta autorizado a dar la vuelta en una autopista", Q:
"X es un agente de policia" y R:"X esta en servicio". En términos de estas
proposiciones la afirmación en cuestión es:

(¬P ∨ Q) ∧ R

¬(P ∨ Q) ∧ R

¬P ∨ Q ∧ R

¬P ∨ (Q ∧ R)

https://poli.instructure.com/courses/11004/quizzes/40235 6/11
23/9/2019 Examen parcial - Semana 4: RA/PRIMER BLOQUE-HERRAMIENTAS DE LOGICA COMPUTACIONAL-[GRUPO1]

Pregunta 9 3.75 / 3.75 ptos.

En lógica de proposiciones dadas las premisas P 1 : p ⇒ q yP 2 : r ⇒ ¬q

se obtiene como conclusión:

No se obtiene ninguna conclusión.

p ∨ ¬r

p ∨ r

¬(p ∧ r)

Pregunta 10 3.75 / 3.75 ptos.

Sean P : p ⇒ (q ∧ r) y P : r ⇔ p . Entonces P
1 2 1 ∧ ¬P 2 . Entonces P es 1

suficiente pero no necesario para P es: 2

Indeterminado.

Falso.

Ninguna de las demás opciones.

Verdadero.

Pregunta 11 3.75 / 3.75 ptos.

Supongamos que P y Q son dos sentencias que dependen de una o más

variables proposicionales y que P ⇒ Q es una tautología. Entonces
¬Q ⇒ ¬P es:

https://poli.instructure.com/courses/11004/quizzes/40235 7/11
23/9/2019 Examen parcial - Semana 4: RA/PRIMER BLOQUE-HERRAMIENTAS DE LOGICA COMPUTACIONAL-[GRUPO1]

Indeterminación.

Ninguna de las demás opciones.

Tautología.

Contradicción.

Pregunta 12 3.75 / 3.75 ptos.

De las premisas P 1 : ¬(¬p ∧ q) yP 2 : p ⇒ (q ∧ r)

Deducimos ¬q ∨ r y ¬p ∨ q

Deducimos ¬q ∨ r pero no ¬p ∨ q

Ninguna de las demás opciones.

Deducimos ¬p ∨ q pero no ¬q ∨ r

Pregunta 13 3.75 / 3.75 ptos.

Dadas las sentencias P 1 : (q ∨ r) ⇒ p yP 2 : (p ∧ q) ⇒ r . Entonces P 1 ∧ ¬P 2

es:

Indeterminación.

Ninguna de las demás opciones.

Contradicción.

Tautología.

https://poli.instructure.com/courses/11004/quizzes/40235 8/11
23/9/2019 Examen parcial - Semana 4: RA/PRIMER BLOQUE-HERRAMIENTAS DE LOGICA COMPUTACIONAL-[GRUPO1]

Pregunta 14 3.75 / 3.75 ptos.

La identidad de la disyunción ∨, es:

No tiene identidad.

Pregunta 15 3.75 / 3.75 ptos.

Sean P 1 : p ⇒ (q ∧ r) yP 2 : r ⇔ p . Entonces P 1 ∧ ¬P 2 es

Contradicción.

Ninguna de las demás opciones.

Tautología.

Indeterminación.

Pregunta 16 3.75 / 3.75 ptos.

Considere la afirmación: "Si p es un número primo, entonces, para los

enteros pares n, n − n es divisible por p". Definimos las siguientes
p

variables proposicionales. P:"p es primo", Q: "n es un entero", R:"n es

par" y S:"n − n es divisible por p"". En términos de estas proposiciones la
p

afirmación en cuestión es:

https://poli.instructure.com/courses/11004/quizzes/40235 9/11
23/9/2019 Examen parcial - Semana 4: RA/PRIMER BLOQUE-HERRAMIENTAS DE LOGICA COMPUTACIONAL-[GRUPO1]

P ⇒ Q ∧ R ⇒ S

(P ⇒ Q ∧ R) ⇒ S

P ∧ ¬(Q ⇒ R)

P ⇒ (Q ∧ R ⇒ S )

Pregunta 17 3.75 / 3.75 ptos.

La no equivalencia ≢ , satisface la propiedades

Simétrica.

Ninguna de las demás opciones

Reflexiva

Transitiva.

Pregunta 18 3.75 / 3.75 ptos.

Supongamos que P y Q son dos sentencias que dependen de una o más

variables proposicionales y que P ⇒ Q es una tautología. Entonces
¬P ⇒ ¬Q es:

Ninguna de las demás opciones.

Tautología.

Indeterminación.

https://poli.instructure.com/courses/11004/quizzes/40235 10/11
23/9/2019 Examen parcial - Semana 4: RA/PRIMER BLOQUE-HERRAMIENTAS DE LOGICA COMPUTACIONAL-[GRUPO1]

Contradicción.

Pregunta 19 3.75 / 3.75 ptos.

Sean P 1 : p ⇒ (q ∧ r) yP 2 : r ⇔ p . Entonces de P se deduce

1

P 2 ∧ ¬P 2

¬P 1

¬P 1 ∧ ¬P 2

P2 ⇒ P2

Pregunta 20 3.75 / 3.75 ptos.

El operador "o exclusivo" o XOR entre P y Q es equivalente a:

Ninguna de las otras opciones.

P ∨ (Q ∨ ¬P ) ∧ Q

(P ∨ Q) ∨ ¬(P ∧ Q)

P ∨ Q ∨ ¬P ∧ Q

Calificación de la evaluación: 75 de 75

https://poli.instructure.com/courses/11004/quizzes/40235 11/11