Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Instrucciones
Historial de intentos
https://poli.instructure.com/courses/4202/quizzes/18028 1/10
16/4/2018 Examen parcial - Semana 4: RA/PRIMER BLOQUE-HERRAMIENTAS DE LOGICA COMPUTACIONAL-[GRUPO1]
Las respuestas correctas estarán disponibles del 16 abr en 23:59 al 17 abr en 23:59.
¬P ∨ (Q ∧ R)
(¬P ∨ Q) ∧ R
¬(P ∨ Q) ∧ R
¬P ∨ Q ∧ R
6y − 2
https://poli.instructure.com/courses/4202/quizzes/18028 2/10
16/4/2018 Examen parcial - Semana 4: RA/PRIMER BLOQUE-HERRAMIENTAS DE LOGICA COMPUTACIONAL-[GRUPO1]
3y + 3x + 1
3(x + 1) + 3y − 2
Incorrecto
Pregunta 3 0 / 3.75 ptos.
Ni P 2 de P 1 , ni P 1 de P 2
P2 de P 1 , pero no P 1 de P 2
P1 de P 2 , pero no P 2 de P 1
P2 de P 1 y P 1 de P 2
Incorrecto
Pregunta 4 0 / 3.75 ptos.
Contradicción.
Tautología.
Indeterminación.
No tiene identidad.
Incorrecto
Pregunta 6 0 / 3.75 ptos.
(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
Incorrecto
Pregunta 7 0 / 3.75 ptos.
https://poli.instructure.com/courses/4202/quizzes/18028 4/10
16/4/2018 Examen parcial - Semana 4: RA/PRIMER BLOQUE-HERRAMIENTAS DE LOGICA COMPUTACIONAL-[GRUPO1]
Indeterminación.
Tautología.
Contradicción.
Incorrecto
Pregunta 8 0 / 3.75 ptos.
4y + x + 2
4x + y
4y + x
4x + 8 + y
https://poli.instructure.com/courses/4202/quizzes/18028 5/10
16/4/2018 Examen parcial - Semana 4: RA/PRIMER BLOQUE-HERRAMIENTAS DE LOGICA COMPUTACIONAL-[GRUPO1]
No tiene identidad.
11
x + 5w
5 + 11w
x + yw
P ∨ Q ∨ ¬P ∧ Q
P ∨ (Q ∨ ¬P ) ∧ Q
(P ∨ Q) ∨ ¬(P ∧ Q)
Incorrecto
Pregunta 12 0 / 3.75 ptos.
https://poli.instructure.com/courses/4202/quizzes/18028 6/10
16/4/2018 Examen parcial - Semana 4: RA/PRIMER BLOQUE-HERRAMIENTAS DE LOGICA COMPUTACIONAL-[GRUPO1]
Sean X = 2w + 1, Y = a + 3w − 5 y E = 2z − 4w − 10 . Aplicando la
regla de Leibniz (la sustitución tiene lugar en la variable z ) a X = Y se
infiere:
8 = 2a − 2w − 20
−8 = 2a − 2w + 20
8 = 2a + 2w − 20
−8 = 2a + 2w − 20
Incorrecto
Pregunta 13 0 / 3.75 ptos.
P ∧ ¬(Q ⇒ R)
P ⇒ Q ∧ R ⇒ S
P ⇒ (Q ∧ R ⇒ S )
(P ⇒ Q ∧ R) ⇒ S
Incorrecto
Pregunta 14 0 / 3.75 ptos.
https://poli.instructure.com/courses/4202/quizzes/18028 7/10
16/4/2018 Examen parcial - Semana 4: RA/PRIMER BLOQUE-HERRAMIENTAS DE LOGICA COMPUTACIONAL-[GRUPO1]
¬(p ∧ r)
p ∨ ¬r
p ∨ r
Incorrecto
Pregunta 15 0 / 3.75 ptos.
(y + 1)x + 7y
7x + (y + 1)y
(y + 1)x + (y + 1)y
Incorrecto
Pregunta 16 0 / 3.75 ptos.
(P ⇒ Q ∧ R) ∧ (¬P ⇒ S )
P ⇒ Q ∧ R ∧ ¬P ⇒ S
(P ⇒ Q ∧ R) ∧ ¬(P ⇒ S )
https://poli.instructure.com/courses/4202/quizzes/18028 8/10
16/4/2018 Examen parcial - Semana 4: RA/PRIMER BLOQUE-HERRAMIENTAS DE LOGICA COMPUTACIONAL-[GRUPO1]
P ⇒ (Q ∧ R) ∧ ¬P ⇒ S
x + x
y + y
x + y
¬P 1
¬P 1 ∧ ¬P 2
P 2 ∧ ¬P 2
P2 ⇒ P2
https://poli.instructure.com/courses/4202/quizzes/18028 9/10
16/4/2018 Examen parcial - Semana 4: RA/PRIMER BLOQUE-HERRAMIENTAS DE LOGICA COMPUTACIONAL-[GRUPO1]
Ninguna expresión.
Cualquier expresión.
z − 2x
2x − z
5z + 2
4x + z
5z
4z + x − 6
https://poli.instructure.com/courses/4202/quizzes/18028 10/10