PUERTA | Puerta TI 2005 | Pregunta 36
Sean P(x) y Q(x) predicados arbitrarios. ¿Cuál de las siguientes afirmaciones es siempre VERDADERA? (A) ((∀x(P(x)∨Q(x))))⟹((∀xP(x))∨(∀xQ(x))) (B) (∀x(P(x)⟹ Q(x)))⟹((∀xP(x))⟹(∀xQ(x))) (C) (∀x(P(x))⟹∀x(Q(x)))⟹(∀x (P(x)⟹Q(x))) (D) (∀x(P(x))⇔(∀x(Q(x))))⟹(∀x(P(x)⇔Q(x) )) Respuesta: (B) Explicación: Esta solución es aportada por . Cuestionario de esta pregunta Publicación traducida automáticamente Artículo escrito por GeeksforGeeks-1 y traducido por Barcelona Geeks. The original can be … Continue reading «PUERTA | Puerta TI 2005 | Pregunta 36»