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