PUERTA | Puerta TI 2008 | Pregunta 21
¿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))] … Continue reading «PUERTA | Puerta TI 2008 | Pregunta 21»