2004-gre-cs-practice-book.pdf/Q23

Ссылки сюда (1) →

Вопрос: Q23-4c9f66

Какая из следующих формул исчисления предикатов должна быть верной при любых интерпретациях?

Ответы

• только 1
• только 3
• 1 и 2
• Правильный ответ: 1 и 3
• 2 и 3

Объяснение

Исходники — вопрос 23 на 21 странице книги «2004-gre-cs-practice-book.pdf»

Ну 2 очевидно не эквивалентное преобразование, P(0) | Q(1) может выполнятся, даже когда не выполняется P(1) и Q(0). 1 и 2 — нормальные следствия.

[ Хронологический вид ]Комментарии

(нет элементов)

Войдите, чтобы комментировать.