La equivalencia de ¬∃x Q(x) es:
(A) ∃x ¬Q(x)
(B) ∀x ¬Q(x)
(C) ¬∃x ¬Q(x)
(D) ∀x Q( x)
Respuesta: (B)
Explicación: Esta es una propiedad simple para negar Cuantificado,
¬∃x Q(x) = ∀x ¬Q(x)
Entonces, la opción (B) es correcta.
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