Рубрики

ВОРОТА | GATE-CS-2005 | Вопрос 41

Что такое исчисление предикатов первого порядка, эквивалентное следующему?

Каждый учитель нравится одному ученику
(A) ∀ (x) [учитель (x) → ∃ (y) [ученик (y) → любит (y, x)]]
(B) ∀ (x) [учитель (x) → ∃ (y) [ученик (y) ^ любит (y, x)]]
(C) ∃ (y) ∀ (x) [учитель (x) → [ученик (y) ^ любит (y, x)]]
(D) ∀ (x) [учитель (x) ^ ∃ (y) [ученик (y) → любит (y, x)]]

Ответ: (Б)
Объяснение: Ответ — B]. Утверждение: Если X — учитель, то существует Y, который является учеником и любит X.

A] Утверждение: если X — учитель, то существует такой Y, что если Y — ученик, то Y любит X.

C] Утверждение: существует ученик, которому нравятся все учителя.
D] Утверждение: каждый учитель, и существует такой Y, что если Y студент, то y любит X.
Тест на этот вопрос

Рекомендуемые посты:

ВОРОТА | GATE-CS-2005 | Вопрос 41

0.00 (0%) 0 votes