2011-gre-cs-practice-book.pdf/Q67 — различия между версиями
Ssergomol (обсуждение | вклад) |
Ssergomol (обсуждение | вклад) |
||
| Строка 1: | Строка 1: | ||
== Вопрос: Q67-08c765 == | == Вопрос: Q67-08c765 == | ||
| − | + | Вспомним, что утверждение логики предикатов является зависимым, если его истинность зависит от выбора универсальной области и интерпретации предикатного символа S, а также от константного символа b. | |
| − | Рассмотрите следующие утверждения логики предикатов, где b | + | Рассмотрите следующие утверждения логики предикатов, где b,x и y являются элементами универсальной области U: |
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
* <m>\(\forall x \ (S(x, b) \rightarrow \exists y \ S(x, y))\)</m> | * <m>\(\forall x \ (S(x, b) \rightarrow \exists y \ S(x, y))\)</m> | ||
* <m>\(\forall x \ \exists y \ S(x, y) \rightarrow \exists y \ \forall x \ S(x, y)\)</m> | * <m>\(\forall x \ \exists y \ S(x, y) \rightarrow \exists y \ \forall x \ S(x, y)\)</m> | ||
* <m>\(\forall x \ (\neg S(x, x) \leftrightarrow S(b, x))\)</m> | * <m>\(\forall x \ (\neg S(x, x) \leftrightarrow S(b, x))\)</m> | ||
| + | |||
| + | === Ответы === | ||
<m> | <m> | ||
Версия 09:13, 12 января 2025
Вопрос: Q67-08c765
Вспомним, что утверждение логики предикатов является зависимым, если его истинность зависит от выбора универсальной области и интерпретации предикатного символа S, а также от константного символа b.
Рассмотрите следующие утверждения логики предикатов, где b,x и y являются элементами универсальной области U:
Ответы
Объяснение
Сначала заполните номер страницы с этим вопросом Исходники — вопрос 67 на тут-номер-страницы-с-вопросом-67 странице книги «2011-gre-cs-practice-book.pdf»
Если все сделаете правильно, по ссылке выше будет открываться правильная страница в правильном PDFе.
Ну и наконец, вики-разметкой напишите ваше понимание, почему правильный ответ — правильный, а неправильные варианты — неправильны. Тут тоже могут быть полезны ссылки на википедию, решение вами рекуррентных уравнений в sympy.
Задача зарезервирована: Ssergomol 08:53, 12 января 2025 (UTC)