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

Examen parcial - Semana 4

Fecha límite 9 de abr en 23:55 Puntos 75 Preguntas 20

Disponible 6 de abr en 0:00-9 de abr en 23:55 4 días Tiempo límite 90 minutos
Intentos permitidos 2

Instrucciones

https://poli.instructure.com/courses/8484/quizzes/32463 1/10
6/4/2019 Examen parcial - Semana 4: RA/PRIMER BLOQUE-HERRAMIENTAS DE LOGICA COMPUTACIONAL-[GRUPO1]

Historial de intentos

Intento Tiempo Puntaje

MANTENER Intento 2 25 minutos 63.75 de 75

ÚLTIMO Intento 2 25 minutos 63.75 de 75

Intento 1 61 minutos 37.5 de 75

 Las respuestas correctas estarán disponibles del 10 de abr en 0:00 al 10 de abr en 23:55.

Calificación para este intento: 63.75 de 75

Presentado 6 de abr en 17:16
Este intento tuvo una duración de 25 minutos.

Pregunta 1 3.75 / 3.75 ptos.

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

enteros pares n, n p
− n es divisible por p". Definimos las siguientes
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
p

la afirmación en cuestión es:

P ⇒ Q ∧ R ⇒ S

(P ⇒ Q ∧ R) ⇒ S

P ∧ ¬(Q ⇒ R)

P ⇒ (Q ∧ R ⇒ S )

Pregunta 2 3.75 / 3.75 ptos.

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

Deducimos ¬p ∨ q pero no ¬q ∨ r

Deducimos ¬q ∨ r y ¬p ∨ q

https://poli.instructure.com/courses/8484/quizzes/32463 2/10
6/4/2019 Examen parcial - Semana 4: RA/PRIMER BLOQUE-HERRAMIENTAS DE LOGICA COMPUTACIONAL-[GRUPO1]

Ninguna de las demás opciones.

Deducimos ¬q ∨ r pero no ¬p ∨ q

Pregunta 3 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)

(P ∧ ¬Q) ⇒ R

P ∧ ¬Q ⇒ ¬R

Pregunta 4 3.75 / 3.75 ptos.

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

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

P2 de P y P de P
1 1 2

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

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

https://poli.instructure.com/courses/8484/quizzes/32463 3/10
6/4/2019 Examen parcial - Semana 4: RA/PRIMER BLOQUE-HERRAMIENTAS DE LOGICA COMPUTACIONAL-[GRUPO1]

Incorrecto Pregunta 5 0 / 3.75 ptos.

La no equivalencia ≢ , satisface la propiedades

Simétrica.

Ninguna de las demás opciones

Reflexiva

Transitiva.

Pregunta 6 3.75 / 3.75 ptos.

La identidad de la disyunción ∨, es:

No tiene identidad.

Pregunta 7 3.75 / 3.75 ptos.

La identidad de la implicación ⇒ , es:

No tiene identidad.

https://poli.instructure.com/courses/8484/quizzes/32463 4/10
6/4/2019 Examen parcial - Semana 4: RA/PRIMER BLOQUE-HERRAMIENTAS DE LOGICA COMPUTACIONAL-[GRUPO1]

Pregunta 8 3.75 / 3.75 ptos.

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

1

suficiente pero no necesario para P es: 2

Verdadero.

Indeterminado.

Ninguna de las demás opciones.

Falso.

Pregunta 9 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 10 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
https://poli.instructure.com/courses/8484/quizzes/32463 5/10
6/4/2019 Examen parcial - Semana 4: RA/PRIMER BLOQUE-HERRAMIENTAS DE LOGICA COMPUTACIONAL-[GRUPO1]

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)

P1 ⇐ P2 ∧ P3 ∧ P4 ∨ P5 ∧ P6

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

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

Pregunta 11 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)

Pregunta 12 3.75 / 3.75 ptos.

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

https://poli.instructure.com/courses/8484/quizzes/32463 6/10
6/4/2019 Examen parcial - Semana 4: RA/PRIMER BLOQUE-HERRAMIENTAS DE LOGICA COMPUTACIONAL-[GRUPO1]

Ninguna de las demás opciones.

Tautología.

Contradicción.

Indeterminación.

Pregunta 13 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:

Contradicción.

Ninguna de las demás opciones.

Indeterminación.

Tautología.

Incorrecto Pregunta 14 0 / 3.75 ptos.

Una propiedad de la implicación ⇒ , es:

asociativa.

Ninguna de las demás opciones.

conmutativa.

se distribuye con respecto a ∧.

https://poli.instructure.com/courses/8484/quizzes/32463 7/10
6/4/2019 Examen parcial - Semana 4: RA/PRIMER BLOQUE-HERRAMIENTAS DE LOGICA COMPUTACIONAL-[GRUPO1]

Incorrecto Pregunta 15 0 / 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:

Contradicción.

Indeterminación.

Tautología.

Ninguna de las demás opciones.

Pregunta 16 3.75 / 3.75 ptos.

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

No se pueden suponer ambas proposiciones.

No se obtiene ninguna conclusión.

¬p

Pregunta 17 3.75 / 3.75 ptos.

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:
https://poli.instructure.com/courses/8484/quizzes/32463 8/10
6/4/2019 Examen parcial - Semana 4: RA/PRIMER BLOQUE-HERRAMIENTAS DE LOGICA COMPUTACIONAL-[GRUPO1]

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

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

P ⇒ Q ∧ R ∧ ¬P ⇒ S

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

Pregunta 18 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.

Tautología.

Ninguna de las demás opciones.

Contradicción.

Pregunta 19 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:

¬(p ∧ r)

No se obtiene ninguna conclusión.

p ∨ r

p ∨ ¬r

https://poli.instructure.com/courses/8484/quizzes/32463 9/10
6/4/2019 Examen parcial - Semana 4: RA/PRIMER BLOQUE-HERRAMIENTAS DE LOGICA COMPUTACIONAL-[GRUPO1]

Pregunta 20 3.75 / 3.75 ptos.

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

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

P ∨ (Q ∨ ¬P ) ∧ Q

Ninguna de las otras opciones.

P ∨ Q ∨ ¬P ∧ Q

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

https://poli.instructure.com/courses/8484/quizzes/32463 10/10