2011-gre-cs-practice-book.pdf/Q55 — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) |
|||
| (не показано 7 промежуточных версий 1 участника) | |||
| Строка 3: | Строка 3: | ||
=== Ответы === | === Ответы === | ||
| − | * <m>\forall x \exists y (p(y) \land \neg q(x))</m> | + | * <m>\forall x \exists y (p(y) \land \neg q(x))</m> |
* <m>\forall x \exists y (p(y) \land q(x))</m> | * <m>\forall x \exists y (p(y) \land q(x))</m> | ||
| − | |||
| − | |||
* <m>\exists x \forall y (p(y) \land \neg q(x))</m> | * <m>\exists x \forall y (p(y) \land \neg q(x))</m> | ||
| − | + | * <m>\exists x \forall y (q(x) \to \neg p(y))</m> | |
| − | * Правильный ответ: | + | * Правильный ответ: <m>\exists x \forall y (p(y) \land \neg q(x))</m> |
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
=== Объяснение === | === Объяснение === | ||
{{cstest-source|2011-gre-cs-practice-book.pdf|40|55}} | {{cstest-source|2011-gre-cs-practice-book.pdf|40|55}} | ||
| + | Кванторы меняются по [https://ru.wikipedia.org/wiki/Законы_де_Моргана закону Де Моргана]: | ||
| + | * <m>\neg \forall \to \exists</m> | ||
| + | * <m>\neg \exists \to \forall</m> | ||
| + | |||
| + | Импликация <m>p(y) \to q(x)</m> эквивалентна <m>\neg p(y) \lor q(x)</m>. | ||
| + | |||
| + | Отрицание импликации: | ||
| + | <m>\neg (\neg p(y) \lor q(x)) \equiv p(y) \land \neg q(x)</m> — [https://ru.wikipedia.org/wiki/Законы_де_Моргана| закон Де Моргана] | ||
| + | {{question-ok|[[Участник:StasFomin|StasFomin]] 21:39, 11 января 2025 (UTC)}} | ||
| − | + | [[Категория:Logic]] | |
| − | + | ||
Текущая версия на 21:39, 11 января 2025
Вопрос: Q55-08c765
Какова отрицательная форма предиката ?
Ответы
- Правильный ответ:
Объяснение
Исходники — вопрос 55 на 40 странице книги «2011-gre-cs-practice-book.pdf»
Кванторы меняются по закону Де Моргана:
Импликация эквивалентна .
Отрицание импликации: — закон Де Моргана