¿Cuál de las siguientes es la negación de [∀ x, α → (∃y, β → (∀ u, ∃v, y))]
(A) [∃ x, α → (∀y, β → (∃u, ∀ v, y))]
(B) [∃ x, α → (∀y, β → (∃u, ∀ v, ¬y))]
(C) [∀ x, ¬α → (∃y, ¬β → (∀u, ∃ v, ¬y))]
(D) [∃ x, α ʌ (∀y, β ʌ (∃u, ∀ v, ¬y))]
Respuesta: (D)
Explicación:
∃∃∃
Esta solución es aportada por Nitika Bansal .
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