2011-gre-cs-practice-book.pdf/Q55 — различия между версиями
Материал из DISCOPAL
| Строка 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/Законы_де_Моргана| закон Де Моргана] |
{{question-ok|}} | {{question-ok|}} | ||
{{checkme|[[Участник:Nikitashapovalov|Nikitashapovalov]] 21:25, 11 января 2025 (UTC)}} | {{checkme|[[Участник:Nikitashapovalov|Nikitashapovalov]] 21:25, 11 января 2025 (UTC)}} | ||
Версия 21:25, 11 января 2025
Вопрос: Q55-08c765
Какова отрицательная форма предиката ?
Ответы
- Правильный ответ:
Объяснение
Исходники — вопрос 55 на 40 странице книги «2011-gre-cs-practice-book.pdf»
Кванторы меняются по закону Де Моргана:
Импликация эквивалентна .
Отрицание импликации:
— закон Де Моргана
Решено: Nikitashapovalov 21:25, 11 января 2025 (UTC)