Sea C(x) “x es un gato”, R(x) “x es una rata” y P(x,y) “x persigue a y”.
¿Cuál de las siguientes afirmaciones denota «algunos gatos persiguen a todas las ratas»?
(A) ∃x[C(x)→ ∀y(R(y)→P(x,y)]
(B) ∃x[C(x)∧ ∀y(R(y)→P(x,y) )]
(C) ∃x[C(x)∧ ∀y(R(y)∧P(x,y)]
(D) ∃x[C(x)∧ ∀y(R(x)→P(x ,y)]
Respuesta: (B)
Explicación: Hay algo que es un gato y para cualquier otra cosa, si esa cosa es una rata, entonces el gato la persigue.
Entonces se escribirá como ∃x[C(x)∧ ∀y(R(y)→P(x,y)].
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