Supongamos que el predicado F(x, y, t) se usa para representar el enunciado de que la persona x puede engañar a la persona y en el momento t. ¿Cuál de las siguientes afirmaciones expresa mejor el significado de la fórmula ∀x∃y∃t(¬F(x, y, t))?
(A) Todos pueden engañar a alguna persona en algún momento
(B) Nadie puede engañar a todos todo el tiempo
(C) Todos no pueden engañar a alguna persona todo el tiempo
(D) Nadie puede engañar a alguna persona en algún momento
Respuesta: (B)
Explicación: ∀ x ∃ y ∃ t(¬ F(x,y,t)) => ∀ x ¬(∀ y ∀ t F(x,y,t))
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