Что такое исчисление предикатов первого порядка, эквивалентное следующему?
Каждый учитель нравится одному ученику
(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.
Тест на этот вопрос
Рекомендуемые посты:
- ВОРОТА | Sudo GATE 2020 Mock I (27 декабря 2019) | Вопрос 52
- ВОРОТА | Sudo GATE 2020 Mock I (27 декабря 2019) | Вопрос 65
- ВОРОТА | Sudo GATE 2020 Mock I (27 декабря 2019) | Вопрос 64
- ВОРОТА | Sudo GATE 2020 Mock I (27 декабря 2019) | Вопрос 53
- ВОРОТА | Sudo GATE 2020 Mock I (27 декабря 2019) | Вопрос 54
- ВОРОТА | Sudo GATE 2020 Mock I (27 декабря 2019) | Вопрос 55
- ВОРОТА | Sudo GATE 2020 Mock I (27 декабря 2019) | Вопрос 56
- ВОРОТА | Sudo GATE 2020 Mock I (27 декабря 2019) | Вопрос 57
- ВОРОТА | Sudo GATE 2020 Mock I (27 декабря 2019) | Вопрос 58
- ВОРОТА | Sudo GATE 2020 Mock I (27 декабря 2019) | Вопрос 59
- ВОРОТА | Sudo GATE 2020 Mock I (27 декабря 2019) | Вопрос 60
- ВОРОТА | Sudo GATE 2020 Mock I (27 декабря 2019) | Вопрос 61
- ВОРОТА | Sudo GATE 2020 Mock I (27 декабря 2019) | Вопрос 62
- ВОРОТА | Sudo GATE 2020 Mock I (27 декабря 2019) | Вопрос 63
- ВОРОТА | Sudo GATE 2020 Mock II (10 января 2019 года) | Вопрос 65
0.00 (0%) 0 votes