Рубрики

ВОРОТА | GATE CS 2010 | Вопрос 30

Предположим, что предикат F (x, y, t) используется для представления утверждения, что человек x может обмануть человека y в момент времени t. какое из приведенных ниже утверждений наилучшим образом выражает значение формулы ∀x∃y∃t (¬F (x, y, t))?
(A) Каждый может обмануть человека
(B) Никто не может обмануть всех все время
(C) Каждый не может обмануть кого-то все время
(D) Никто не может обмануть кого-то в какое-то время

Ответ: (Б)
Пояснение: ∀ x ∃ y ∃ t (¬ F (x, y, t)) => ∀ x ¬ (∀ y ∀ t F (x, y, t))
Тест на этот вопрос

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

ВОРОТА | GATE CS 2010 | Вопрос 30

0.00 (0%) 0 votes