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