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}} | ||
| + | Кванторы меняются по закону Де Моргана: | ||
| + | * <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> — по закону Де Моргана. | ||
| + | |||
| + | Поэтому импликация превратилась в конъюнкцию <m>p(y) \land \neg q(x)</m>. | ||
{{question-ok|}} | {{question-ok|}} | ||
{{reserve-task|[[Участник:Nikitashapovalov|Nikitashapovalov]] 20:55, 8 января 2025 (UTC)}} | {{reserve-task|[[Участник:Nikitashapovalov|Nikitashapovalov]] 20:55, 8 января 2025 (UTC)}} | ||
Версия 21:21, 11 января 2025
Вопрос: Q55-08c765
Какова отрицательная форма предиката ?
Ответы
- Правильный ответ:
Объяснение
Исходники — вопрос 55 на 40 странице книги «2011-gre-cs-practice-book.pdf»
Кванторы меняются по закону Де Моргана:
Импликация эквивалентна .
Отрицание:
— по закону Де Моргана.
Поэтому импликация превратилась в конъюнкцию .
Задача зарезервирована: Nikitashapovalov 20:55, 8 января 2025 (UTC)