PUERTA | PUERTA-CS-2009 | Pregunta 60 – Part 3

CSE_2009_26

¿Cuáles de los dos anteriores son equivalentes?
(A) I y III
(B) I y IV
(C) II y III
(D) II y IV

Respuesta: (B)
Explicación:

Según la propiedad de negación del calificador universal  y del cuantificador existencial

 \neg \forall x \epsilon X P(x) \equiv \exists x \epsilon X \neg P(x)

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

Deja una respuesta

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *