PUERTA | PUERTA-CS-2004 | Pregunta 23

Identifique la traducción correcta a notación lógica de la siguiente afirmación.

"Some boys in the class are taller than all the girls" 

Nota: más alto (x, y) es verdadero si x es más alto que y.

(A) (∃x) (niño(x) → (∀y) (niña(y) ∧ más alto(x,y)))
(B) (∃x) (niño(x) ∧ (∀y) (niña (y) ∧ más alto(x,y)))
(C) (∃x) (niño(x) → (∀y) (niña(y) → más alto(x,y)))
(D) (∃x) (niño(x) ∧ (∀y) (niña(y) → más alto(x,y)))

Respuesta: (D)
Explicación:
Ahora mucha gente se confunde cuando usar ∧ y cuando usar →. Esta pregunta prueba exactamente eso.

Usamos ∧ cuando queremos decir que ambos predicados en esta declaración son siempre verdaderos, sin importar cuál sea el valor de x.
Usamos → cuando queremos decir que aunque no es necesario que el predicado izquierdo sea verdadero siempre, pero siempre que sea verdadero, el predicado derecho también debe ser verdadero.

D significa que existen algunos niños x que son más altos que todas las niñas y.

Cuestionario de esta pregunta