¿Cuál es el enunciado de cálculo de predicados de primer orden equivalente al siguiente?
Cada maestro es querido por algún estudiante
(A) ∀(x) [maestro (x) → ∃ (y) [estudiante (y) → le gusta (y, x)]]
(B) ∀ (x) [maestro (x) → ∃ (y) [estudiante (y) ^ le gusta (y, x)]]
(C) ∃ (y) ∀ (x) [profesor (x) → [estudiante (y) ^ le gusta (y, x)]]
(D) ∀ (x) [maestro (x) ^ ∃ (y) [estudiante (y) → le gusta (y, x)]]
Respuesta: (B)
Explicación: La respuesta es B] Declaración: Si X es un maestro, entonces existe algún Y que es estudiante y le gusta X.
A] Declaración: Si X es un maestro, entonces existe un Y tal que si Y es un estudiante, entonces a Y le gusta X.
C] Enunciado: Existe un alumno al que le gustan todos los profesores.
D] Enunciado: Todo el mundo es profesor y existe un Y tal que si Y es estudiante, entonces a Y le gusta X.
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