Рубрики

ВОРОТА | 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 означает, что есть несколько мальчиков х, которые выше всех девочек у.

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

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

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

0.00 (0%) 0 votes