2011-gre-cs-practice-book.pdf/Q67 — различия между версиями
Ssergomol (обсуждение | вклад) (→Вопрос: Q67-08c765) |
Ssergomol (обсуждение | вклад) |
||
| Строка 1: | Строка 1: | ||
| − | |||
== Вопрос: Q67-08c765 == | == Вопрос: Q67-08c765 == | ||
| − | + | Вспоним, что утверждение логики предикатов является зависимым, если его истинность зависит от выбора универсальной области и интерпретации предикатного символа SS, а также от константного символа bb. | |
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | Рассмотрите следующие утверждения логики предикатов, где b,xb,x и yy являются элементами универсальной области UU: | |
| − | + | ||
| − | + | ||
| − | + | ||
=== Ответы === | === Ответы === | ||
| Строка 16: | Строка 9: | ||
(префикс «Правильный ответ:» — это дословно, для правильного ответа, неважно, какой он будет в списке)</i> | (префикс «Правильный ответ:» — это дословно, для правильного ответа, неважно, какой он будет в списке)</i> | ||
| − | * | + | * <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 \ (\neg S(x, x) \leftrightarrow S(b, x))\)</m> | |
| − | + | ||
| − | + | ||
| − | + | ||
| − | < | + | |
| − | + | ||
| − | + | ||
| + | <m> | ||
| + | \begin{table}[h!] | ||
| + | \centering | ||
| + | \begin{tabular}{|c|c|c|} | ||
| + | \hline | ||
| + | \textbf{Утверждение I} & \textbf{Утверждение II} & \textbf{Утверждение III} \\ \hline | ||
| + | Всегда истинно & Всегда ложно & Зависимо \\ \hline | ||
| + | Всегда истинно & Зависимо & Всегда ложно \\ \hline | ||
| + | Всегда истинно & Зависимо & Зависимо \\ \hline | ||
| + | Зависимо & Всегда истинно & Всегда ложно \\ \hline | ||
| + | Зависимо & Всегда истинно & Всегда истинно \\ \hline | ||
| + | \end{tabular} | ||
| + | \caption{Описание утверждений логики предикатов} | ||
| + | \end{table} | ||
| + | </m> | ||
=== Объяснение === | === Объяснение === | ||
Версия 09:12, 12 января 2025
Вопрос: Q67-08c765
Вспоним, что утверждение логики предикатов является зависимым, если его истинность зависит от выбора универсальной области и интерпретации предикатного символа SS, а также от константного символа bb.
Рассмотрите следующие утверждения логики предикатов, где b,xb,x и yy являются элементами универсальной области UU:
Ответы
Если ответы простые, однострочные, используйте простой способ задания ответов списком, типа так (префикс «Правильный ответ:» — это дословно, для правильного ответа, неважно, какой он будет в списке)
Объяснение
Сначала заполните номер страницы с этим вопросом Исходники — вопрос 67 на тут-номер-страницы-с-вопросом-67 странице книги «2011-gre-cs-practice-book.pdf»
Если все сделаете правильно, по ссылке выше будет открываться правильная страница в правильном PDFе.
Ну и наконец, вики-разметкой напишите ваше понимание, почему правильный ответ — правильный, а неправильные варианты — неправильны. Тут тоже могут быть полезны ссылки на википедию, решение вами рекуррентных уравнений в sympy.
Задача зарезервирована: Ssergomol 08:53, 12 января 2025 (UTC)