PUERTA | PUERTA-CS-2005 | Pregunta 41
¿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) … Continue reading «PUERTA | PUERTA-CS-2005 | Pregunta 41»