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 accessed here. Licence: CCBY-SA