PUERTA | PUERTA CS 2013 | Pregunta 47
(A) A (B) B (C) C (D) D Respuesta: (A) (D) Explicación: La declaración dada es: ¬ ∃ x ( ∀y(α) ∧ ∀z(β) ) where ¬ is a negation operator, ∃ is Existential Quantifier with the meaning of «there Exists», and ∀ is a Universal Quantifier with the meaning » for all » , and α, β can … Continue reading «PUERTA | PUERTA CS 2013 | Pregunta 47»