Académique Documents
Professionnel Documents
Culture Documents
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
Las respuestas correctas estarán disponibles del 10 de abr en 0:00 al 10 de abr en 23:55.
P ⇒ Q ∧ R ⇒ S
(P ⇒ Q ∧ R) ⇒ S
P ∧ ¬(Q ⇒ R)
P ⇒ (Q ∧ R ⇒ S )
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]
Deducimos ¬q ∨ r pero no ¬p ∨ q
P ∧ ¬(Q ⇒ R)
P ∧ (¬Q ⇒ ¬R)
(P ∧ ¬Q) ⇒ R
P ∧ ¬Q ⇒ ¬R
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]
Simétrica.
Reflexiva
Transitiva.
No tiene identidad.
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]
Verdadero.
Indeterminado.
Falso.
P 2 ∧ ¬P 2
¬P 1
¬P 1 ∧ ¬P 2
P2 ⇒ P2
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)
(¬P ∨ Q) ∧ R
¬P ∨ Q ∧ R
¬(P ∨ Q) ∧ R
¬P ∨ (Q ∧ R)
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]
Tautología.
Contradicción.
Indeterminación.
Contradicción.
Indeterminación.
Tautología.
asociativa.
conmutativa.
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]
Contradicción.
Indeterminación.
Tautología.
¬p
(P ⇒ Q ∧ R) ∧ ¬(P ⇒ S )
(P ⇒ Q ∧ R) ∧ (¬P ⇒ S )
P ⇒ Q ∧ R ∧ ¬P ⇒ S
P ⇒ (Q ∧ R) ∧ ¬P ⇒ S
es:
Indeterminación.
Tautología.
Contradicción.
¬(p ∧ r)
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]
(P ∨ Q) ∨ ¬(P ∧ Q)
P ∨ (Q ∨ ¬P ) ∧ Q
P ∨ Q ∨ ¬P ∧ Q
https://poli.instructure.com/courses/8484/quizzes/32463 10/10