Разберись, как кванторы и логические связки меняют смысл математических утверждений: это поможет точно формулировать условия и проверять рассуждения.
№1 · КВАНТОРЫ
4 УТВЕРЖДЕНИЯ · 1 БАЛЛ
1. Смысл кванторов существования и всеобщности
Определи, истинно или ложно каждое утверждение. Рассматривай переменную x на множестве действительных чисел.
Существует действительное число x, для которого x² = 4.ИстинаЛожь
Для каждого действительного числа x верно x² ≥ 0.ИстинаЛожь
Для каждого действительного числа x верно x² = 1.ИстинаЛожь
Существует действительное число x, для которого x² < 0.ИстинаЛожь
№2 · ОТРИЦАНИЕ
1 ЗАДАНИЕ · 1 БАЛЛ
2. Отрицание утверждения со знаком всеобщности
Запиши отрицание утверждения: «Для каждого целого числа n верно n² ≥ 0».
№3 · ЛОГИЧЕСКИЕ СВЯЗКИ
1 ВЫБОР · 1 БАЛЛ
3. Отрицание утверждения с квантором существования
Выбери формулу, равносильную отрицанию утверждения: «Существует действительное число x, для которого x² = 9».
Для каждого действительного x верно x² ≠ 9.
Существует действительное x, для которого x² ≠ 9.
Для каждого действительного x верно x² = 9.
Существует действительное x, для которого x² = 9.
№4 · ОПЕРАЦИИ НАД ВЫСКАЗЫВАНИЯМИ
1 ВЫСКАЗЫВАНИЕ · 1 БАЛЛ
4. Значение сложного высказывания
Высказывания p и q истинны, а высказывание r ложно. Определи истинность выражения (p ∨ q) ∧ ¬r. Ответь одним словом: «истина» или «ложь».
№5 · ВЫЧИСЛЕНИЕ ИСТИННОСТИ
4 ВЫРАЖЕНИЯ · 1 БАЛЛ
5. Скобки и порядок логических операций
Высказывания p и r истинны, а q ложно. Для каждого выражения укажи его значение: «истина» или «ложь».
1)p ∧ q
2)¬q ∨ r
3)(p ∨ q) ∧ ¬r
4)¬(p ∧ r) ∨ q
№6 · ЗАКОНЫ ЛОГИКИ
4 УТВЕРЖДЕНИЯ · 2 БАЛЛА
6. Отрицание связок «и» и «или»
Определи, истинно или ложно каждое утверждение о логических высказываниях p и q. В каждом пункте оценивай, верно ли указанное равенство при любых значениях p и q.
¬(p ∧ q) равносильно ¬p ∨ ¬q.ИстинаЛожь
¬(p ∨ q) равносильно ¬p ∧ ¬q.ИстинаЛожь
¬(p ∧ q) равносильно ¬p ∧ ¬q.ИстинаЛожь
¬(p ∨ q) равносильно ¬p ∨ ¬q.ИстинаЛожь
+5 заданий в этом листе
Зарегистрируйтесь — и соберите свой рабочий лист по этой теме за минуту: заданий столько, сколько нужно.
№7 · ОТРИЦАНИЕ ИСТИННОГО УТВЕРЖДЕНИЯ
1 ЗАДАНИЕ · 2 БАЛЛА
7. Два квантора в одном утверждении
Рассмотри утверждение: «Для каждого действительного числа x существует действительное число y, такое что x + y = 0». Запиши его отрицание и определи, истинно ли исходное утверждение.
№8 · ОТРИЦАНИЕ ИМПЛИКАЦИИ
1 ВЫБОР · 2 БАЛЛА
8. Отрицание высказывания с условием
Выбери утверждение, равносильное отрицанию фразы: «Для каждого действительного x, если x² > 1, то x > 0».
Отрицание исходной фразы равносильно утверждению: существует действительное x, для которого x² > 1 и x ≤ 0.
Отрицание исходной фразы равносильно утверждению: для каждого действительного x верно, что x² > 1 и x ≤ 0.
Отрицание исходной фразы равносильно утверждению: существует действительное x, для которого x² ≤ 1 или x > 0.
Отрицание исходной фразы равносильно утверждению: для каждого действительного x, если x² ≤ 1, то x ≤ 0.
№9 · СЛОЖНОЕ УТВЕРЖДЕНИЕ
1 ВЫСКАЗЫВАНИЕ · 3 БАЛЛА
9. Кванторы и логическая связка «и»
На множестве S = {−2, −1, 0, 1, 2} заданы условия P(x): x² = 4 и Q(x): x < 0. Определи истинность высказывания: «Существует x из S, для которого P(x) и Q(x), и для каждого x из S из P(x) следует Q(x)». Ответь одним словом: «истина» или «ложь».
№10 · СОСТАВНЫЕ ФОРМУЛЫ
4 ВЫСКАЗЫВАНИЯ · 3 БАЛЛА
10. Кванторы внутри сложных логических формул
На множестве S = {−2, −1, 0, 1, 2} заданы условия P(x): x² = 1 и Q(x): x < 0. Для каждого выражения определи, истинно оно или ложно. В четвёртом выражении знак ↔ означает равносильность высказываний.