PUERTA | Sudo GATE 2020 Mock II (10 de enero de 2019) | Pregunta 22
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 … Continue reading «PUERTA | Sudo GATE 2020 Mock II (10 de enero de 2019) | Pregunta 22»