2011-gre-cs-practice-book.pdf/Q67 — различия между версиями

Материал из DISCOPAL
Перейти к: навигация, поиск
(Новая страница: « == Вопрос: Q67-08c765 == <i>Тут вставьте перевод вопроса. Используйте [https://wiki.4intra.net/Help:%D0%A4%D0%BE%D1%80…»)
 
 
(не показано 17 промежуточных версий 2 участников)
Строка 1: Строка 1:
−
 
 
== Вопрос: Q67-08c765 ==
 
== Вопрос: Q67-08c765 ==
  
−
<i>Тут вставьте перевод вопроса.
+
Вспомним, что утверждение логики предикатов является зависимым, если его истинность зависит от выбора универсальной области и интерпретации предикатного символа S, а также от константного символа b.
−
Используйте [https://wiki.4intra.net/Help:%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D1%82%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5 возможности разметки],  
+
−
включая формулы и т.п, если будут графы — посмотрите как задать их текстом https://wiki.4intra.net/Graphviz .
+
−
Если код — теги «code-pascal», «code-c» или «code-python».
+
  
−
Старайтесь нетривиальные понятия, особенно незнакомые вам, найти ссылку на википедию и вставить (нейросети лажают!).
+
Рассмотрим следующие утверждения логики предикатов, где b,x и y являются элементами универсальной области U:
−
Это важно, чтобы найти корректный перевод (то, что в википедии, или на худой конец — точно массово гуглится).
+
  
−
Потом конечно сотрите инструкции, которые тут курсивом.</i>
+
;I:  <m>\(\forall x \ (S(x, b) \rightarrow \exists y \ S(x, y))\)</m>
 +
;II:  <m>\(\forall x \ \exists y \ S(x, y) \rightarrow \exists y \ \forall x \ S(x, y)\)</m>
 +
;III: <m>\(\forall x \ (\neg S(x, x) \leftrightarrow S(b, x))\)</m>
  
−
=== Ответы ===
+
==== Ответ ====  
−
<i>Если ответы простые, однострочные, используйте простой способ задания ответов списком, типа так
+
;I:  Всегда истинно
−
(префикс «Правильный ответ:» — это дословно, для правильного ответа, неважно, какой он будет в списке)</i>
+
;II: Всегда ложно
 +
;III: Зависимо
  
−
* Правильный ответ: тут реально правильный ответ
+
==== Правильный ответ ====
−
* неправильный ответ
+
;I: Всегда истинно
−
* еще какой-то неправильный ответ
+
;II: Зависимо
−
* еще какой-то неправильный ответ
+
;III: Всегда ложно
−
* еще какой-то неправильный ответ
+
  
−
<i>Если ответы длинные, многострочные, или там графы, используйте
+
==== Ответ ====
−
[https://wiki.4intra.net/MediawikiQuizzer/ru#.D0.9E.D1.82.D0.B2.D0.B5.D1.82.D1.8B способ задания ответов разделами],
+
;I: Всегда истинно
−
Но такое очень редко встречается. </i>
+
;II: Зависимо
 +
;III: Зависимо
  
 +
==== Ответ ====
 +
;I:  Зависимо
 +
;II: Всегда истинно
 +
;III: Всегда ложно
 +
 +
==== Ответ ====
 +
;I:  Зависимо
 +
;II: Всегда истинно
 +
;III: Всегда истинно
  
 
=== Объяснение ===
 
=== Объяснение ===
−
<i>Сначала заполните номер страницы с этим вопросом
+
{{cstest-source|2011-gre-cs-practice-book.pdf|47|67}}
−
{{cstest-source|2011-gre-cs-practice-book.pdf|тут-номер-страницы-с-вопросом-67|67}}
+
 
 +
;I: <m>\forall x\,(S(x,b)\to \exists y\,S(x,y))</m> 
 +
Если <m>S(x,b)</m> выполняется для некоторого <m>x</m>, то выбор <m>y = b</m> гарантирует, что найдется <m>y</m>, для которого <m>S(x,y)</m> истинно. Значит утверждение всегда истинно.
  
−
Если все сделаете правильно, по ссылке выше будет открываться правильная страница в правильном PDFе.
+
;II: <m>(\forall x\,\exists y\,S(x,y))\to(\exists y\,\forall x\,S(x,y))</m> 
 +
Это утверждение может быть ложным в моделях, где для каждого <m>x</m> существует свой <m>y</m>, удовлетворяющий <m>S(x,y)</m>, но нет единственного <m>y</m>, который подходит для всех <m>x</m>. В других случаях оно может быть истинным. Таким образом, оно зависит от интерпретации.
  
−
Ну и наконец, вики-разметкой напишите ваше понимание, почему правильный ответ — правильный, а [[2004-gre-cs-practice-book.pdf/Q16|неправильные варианты — неправильны]].
+
;III: <m>\forall x\,(\lnot S(x,x)\leftrightarrow S(b,x))</m> 
−
Тут тоже могут быть полезны [[2004-gre-cs-practice-book.pdf/Q03|ссылки на википедию]],  
+
Подставляя <m>x = b</m>, мы получаем <m>\lnot S(b,b)\leftrightarrow S(b,b)</m>. Это утверждение требует, чтобы <m>S(b,b)</m> было одновременно истинным и ложным, поэтому оно всегда ложно.
−
решение вами [[2004-gre-cs-practice-book.pdf/Q12|рекуррентных уравнений в sympy]].
+
  
−
</i>
+
{{question-ok|[[Участник:StasFomin|StasFomin]] 16:40, 12 января 2025 (UTC)}}
  
−
{{question-ok|}}
+
[[Категория:Logic]]

Текущая версия на 16:40, 12 января 2025

Вопрос: Q67-08c765

Вспомним, что утверждение логики предикатов является зависимым, если его истинность зависит от выбора универсальной области и интерпретации предикатного символа S, а также от константного символа b.

Рассмотрим следующие утверждения логики предикатов, где b,x и y являются элементами универсальной области U:

I
II
III

Ответ

I
Всегда истинно
II
Всегда ложно
III
Зависимо

Правильный ответ

I
Всегда истинно
II
Зависимо
III
Всегда ложно

Ответ

I
Всегда истинно
II
Зависимо
III
Зависимо

Ответ

I
Зависимо
II
Всегда истинно
III
Всегда ложно

Ответ

I
Зависимо
II
Всегда истинно
III
Всегда истинно

Объяснение

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

I

Если выполняется для некоторого , то выбор гарантирует, что найдется , для которого истинно. Значит утверждение всегда истинно.

II

Это утверждение может быть ложным в моделях, где для каждого существует свой , удовлетворяющий , но нет единственного , который подходит для всех . В других случаях оно может быть истинным. Таким образом, оно зависит от интерпретации.

III

Подставляя , мы получаем . Это утверждение требует, чтобы было одновременно истинным и ложным, поэтому оно всегда ложно.

Источник — «https://discopal.ispras.ru/index.php?title=2011-gre-cs-practice-book.pdf/Q67&oldid=35710»