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