Expresión lógica equivalente para la fórmula bien formada (WFF), ~(∀x) F[x]
(A) ∀x (~F[x])
(B) ~(∃x) F[x]
(C) ∃x (~F[x])
(D) ∀x F[x]
Respuesta: (C)
Explicación:
Cuestionario de esta pregunta
Comente a continuación si encuentra algo incorrecto en la publicación anterior
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