Рубрики

ВОРОТА | GATE-CS-2007 | Вопрос 85

Пусть Graph (x) будет предикатом, который обозначает, что x является графом. Пусть Connected (x) — предикат, который обозначает, что x связен. Какие из следующих логических предложений первого порядка НЕ представляют утверждение: «Не каждый граф связан»?


(А) А
(Б) Б
(С) С
(D) D

Ответ: (D)
Пояснение: Опция A и опция C одинаковы: G (x) -> C (x) также можно записать как ~ G (x) или C (x), и они являются правильным представлением.
Вариант C говорит: существует граф и граф не связан, что эквивалентно данному предложению.
Вариант D: каждый х, который является графом, не связан.

Вариант D — правильный выбор

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

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

ВОРОТА | GATE-CS-2007 | Вопрос 85

0.00 (0%) 0 votes