ВОРОТА | GATE-CS-2004 | Вопрос 23

Определите правильный перевод в логическую запись следующего утверждения.

"Some boys in the class are taller than all the girls" 

Примечание: taller (x, y) имеет значение true, если x выше, чем y.

(A) (∃x) (мальчик (x) → (∀y) (девочка (y) ler выше (x, y)))
(B) (∃x) (мальчик (x) ∧ (∀y) (девочка (y) ler выше (x, y)))
(C) (∃x) (мальчик (x) → (∀y) (девочка (y) → выше (x, y)))
(D) (∃x) (мальчик (x) ∧ (∀y) (девочка (y) → выше (x, y)))

Ответ: (D)
Объяснение:
Теперь многие люди запутываются, когда использовать ∧, а когда использовать →. Этот вопрос проверяет именно это.

Мы используем ∧, когда хотим сказать, что оба предиката в этом утверждении всегда верны, независимо от значения x.
Мы используем →, когда мы хотим сказать, что, хотя нет необходимости, чтобы левый предикат всегда был истинным, но всякий раз, когда он становится истинным, правый предикат также должен быть истинным.

D означает, что есть несколько мальчиков х, которые выше всех девочек у.

Тест на этот вопрос

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

• ВОРОТА | 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