2004-gre-cs-practice-book.pdf/Q23 — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) (Новая страница: « == Вопрос: Q23-4c9f66 == <i>Тут вставьте перевод вопроса. Используйте [https://wiki.4intra.net/Help:%D0%A4%D0%BE%D1%80…») |
StasFomin (обсуждение | вклад) |
||
| Строка 1: | Строка 1: | ||
| − | |||
== Вопрос: Q23-4c9f66 == | == Вопрос: Q23-4c9f66 == | ||
| − | + | Какая из следующих формул исчисления предикатов должна быть '''верной''' при любых интерпретациях? | |
| − | < | + | # <m>(\forall xP(x)\vee \forall xQ(x))\rightarrow\forall x(P(x)\vee Q(x))</m> |
| − | + | # <m>\forall x(P(x)\vee Q(x))\rightarrow(\forall xP(x)\vee \forall xQ(x))</m> | |
| − | + | # <m>(\exists xP(x)\vee \exists xQ(x))\rightarrow\exists x(P(x)\vee Q(x))</m> | |
| − | + | ||
=== Ответы === | === Ответы === | ||
| − | + | * только 1 | |
| − | + | * только 3 | |
| + | * 1 и 2 | ||
| + | * Правильный ответ: 1 и 3 | ||
| + | * 2 и 3 | ||
| − | + | === Объяснение === | |
| − | + | {{cstest-source|2004-gre-cs-practice-book.pdf|21|23}} | |
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | Ну 2 очевидно не эквивалентное преобразование, ''P(0) | Q(1)'' может выполнятся, даже когда не выполняется ''P(1)'' и ''Q(0)''. | |
| − | + | 1 и 2 — нормальные следствия. | |
| − | + | ||
| − | + | {{question-ok|[[Участник:StasFomin|StasFomin]] 07:41, 14 декабря 2024 (UTC)}} | |
| − | + | ||
| − | {{ | + | |
| − | + | ||
| − | + | ||
| − | + | [[Категория:Logic]] | |
Текущая версия на 07:41, 14 декабря 2024
Вопрос: 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 — нормальные следствия.