Рубрики

ВОРОТА | GATE-CS-2002 | Вопрос 8

«Если X, то Y, если только Z» не представляется, какой из следующих формул в логике высказываний?
(«¬» — отрицание, «^» — конъюнкция, а «→» — импликация)
(A) (X ^ ¬ Z) → Y
(B) (X ^ Y) → ¬ Z
(C) (X → (Y ^ ¬ Z)
(D) (X → Y (^ ¬ Z)

Ответ: (А)
Объяснение: Утверждение «Если X, то Y, если только Z» означает, что если Z не встречается, то X означает Y, т.е. ¬ / negZ / К (Х / toY), что эквивалентно Z / Ви (Х / toY) (так как P / toQ ≡ ¬ / СЕГ / veeQ), который затем эквивалентен Z / Ви ( ¬ / negX / VeeY). Теперь мы можем рассмотреть варианты, которые соответствуют этому.

Таким образом, вариант (а) является (X ¬ / Клин / negZ) / toY = ¬ / Отр ((Х ¬ / Клин / negZ)) / veeY = ( ¬ / negX / VeeZ) / veeY, что соответствует нашему выражению. Так что вариант А верен.

Источник: http://www.cse.iitd.ac.in/~mittal/gate/gate_math_2002.html.

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

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

ВОРОТА | GATE-CS-2002 | Вопрос 8

0.00 (0%) 0 votes