PUERTA | PUERTA CS Simulacro 2018 | Pregunta 22

¿Cuál es la traducción correcta de la siguiente afirmación a la lógica matemática? “Todo alumno que camina habla”

(I) ∀x ((student(x) & walk (x)) → talk (x)))
(II) ∀x (student(x) → (walk (x) → talk (x)))
(III)  ¬ ∃x ((student(x) & walk (x)) & ¬(talk (x))))

(A) Solo (I)
(B) Solo (II)
(C) Solo (II) y (III)
(D) Todos (I), (II) y (III)

Respuesta: (D)
Explicación: Todos son lógica de primer orden correcta y equivalente del enunciado “Todo estudiante que camina habla”.
La opción (D) es correcta.
Cuestionario de esta pregunta