Примеры высказываний с несколькими кванторами
Обновлено: 22.12.2024
Дидактическая: познакомить студентов с понятием « высказывания с кванторами» в объеме необходимом для преподавания математики в начальных классах, формировать умение использовать их при решении задач.
Развивающая: активизация познавательной деятельности; развитие внимания, памяти, воображения, воли; развитие логического мышления.
Воспитательная : формировать профессионально значимые качества студента; воспитание сознательности.
Организационный момент
Мотивация учебной деятельности
Изучая реальные процессы, математика описывает их, используя как естественный словесный язык, так и свой символический. Описание строится при помощи предложений. Но чтобы математические знания были достоверными, правильно отражали окружающую нас реальность, эти предложения должны быть истинными.
Но как узнать, истинное или ложное знание заключено в том или ином математическом предложении? На этот и другие вопросы, с ним связанные, мы попытаемся ответить. А сейчас, только заметим, что каждое математическое предложение характеризуется содержанием и логической формой (структурой), причем содержание неразрывно связано с формой, и нельзя осмыслить первое, не понимая второго. В связи с этим изучение математических предложений в главе «Элементы логики» будет в основном связано с раскрытием логической структуры математических предложений.
Актуализация знаний:
Работа на интерактивной доске - фронтально .
1. Составить определение высказывания из разрозненных слов на интерактивной доске (сл1)
2. Соотнести предложения с их логической структурой (сл 2)
3. Анаграмма. Собрать, расположив буквы в нужном порядке названия логических операций, дать им определение: отрицание, конъюнкция, дизъюнкция, импликация, эквиваленция. ( LAT 2.0 сл 3)
4. Соотнести название операции с ее символическим обозначением ( LAT 2.0 сл 4)
5. Составить определение высказывательной формы из разрозненных слов на интерактивной доске (сл5)
6. Записать структуру высказывания и определить истинность (правильные ответы спрятаны за «ширмой», после самостоятельного решения проверка по образцу. Сл 6)
7. Распределить по категориям (высказывания и высказывательные формы) следующие предложения: 2x>8, все натуральные числа кратны 5, число Х больше пяти, любое натуральное число является решением неравенства 3х – 4 < 5
Проблемный вопрос:
Что можете сказать о предложении: «Любое натуральное число является решением неравенства 3х – 4 < 5»?
Является оно высказыванием или предикатом?
Какие признаки предиката присутствуют в данном предложении?
Можем ли мы установить истинность данного предложения?
С помощью чего мы из предиката получили высказывание?
Постановка темы, задач урока: Высказывания с кванторами (сл 8)
Какие задачи поставите на урок?
Открытие нового знания
Слова, превращающие высказывательную форму или предикат в высказывание, называются кванторами. (сл 9)
Выражение «для всех х » («для любого х », «для каждого х ») называется квантором общности и обозначается ∀ х . (сл 10)
Высказывание, полученное из предиката P(х) при помощи квантора общности, записывается в виде (∀ х ∈ Х) P( х ) и читается: «Для любого (каждого, всякого) значения х из множества Х имеет место P( х )» или «Любой (каждый, всякий) элемент х из множества Х обладает свойством P». Например, если P( х ) – «Натуральное число х является целым числом», то высказывание с квантором общности будет выглядеть так: «Любое натуральное число х является целым числом». (сл 11,12)
Выражение «существует такое х » («для некоторых х », «хотя бы для одного х », «найдется такое х ») называется квантором существования и обозначается ∃х . (сл 13)
Высказывание, полученное из предиката P(х) при помощи квантора существования, записывается в виде (∃ х ∈Х) P( х ) и читается: «Для некоторого значения х из множества Х имеет место P( х )» или «Найдется элемент х из множества Х, который обладает свойством P», или «Существует элемент х в множестве Х, для которого выполняется свойство Р». Например, если P( х ) – «Натуральное число х делится на 2», то высказывание с квантором существования будет выглядеть так: «Найдется натуральное число х , которое делится на 2». (сл 14,15)
Чтобы установить истинность утверждения с квантором общности, надо провести доказательство, чтобы установить его ложность – достаточно привести опровергающий его пример. Высказывание, содержащее квантор общности, может быть представлено в виде конъюнкции высказываний.
Высказывание с квантором существования истинно, если можно привести пример, то есть найти такое значение переменной, при котором предикат обращается в истинное высказывание. Ложность высказывания с квантором существования устанавливается путем доказательства. Высказывание, содержащее квантор существования, может быть представлено в виде дизъюнкции высказываний.
Для построения отрицаний с кванторами надо: 1) квантор общности заменить на квантор существования, а квантор существования – на квантор общности; 2) предикат заменить его отрицанием. Таким образом, справедливы формулы:
и . (сл 16)
Если задана словесная формулировка высказывания с квантором, то нужно: 1) слово «любой» («каждый», «всякий», «все») заменить на слово «существует» («найдется», «некоторый», «хотя бы один») и наоборот; 2) поставить перед глаголом частицу «не». (сл 17)
Это правило сохраняется и в том случае, если высказывание содержит не один, а несколько кванторов, например:
.
П р и м е р 1. Найти значения истинности высказываний:
а) среди чисел множества Х = найдется простое число;
б) любое число из множества А = кратно 2.
Р е ш е н и е. а) Высказывание «Среди чисел множества Х = найдется простое число» содержит квантор существования и поэтому может быть представлено в виде дизъюнкции высказываний: «1 – простое число», или «2 – простое число», или «3 – простое число» или «4 – простое число». Для доказательства истинности дизъюнкции достаточно истинности одного из высказываний, например: «2 – простое число», которое истинно. Следовательно, истинно и исходное высказывание.
б) Высказывание «Любое число из множества А = кратно 2» содержит квантор общности и поэтому может быть переформулировано в виде конъюнкции «6 кратно 2, и 8 кратно 2, и 12 кратно 2 и 28 кратно 2». Так как все четыре высказывания истинны, то истинна и вся конъюнкция, а, следовательно, и исходное высказывание.
П р и м е р 2. Выявить логическую структуру следующих высказываний:
а) некоторые четные числа делятся на 3;
б) сумма двух любых нечетных чисел кратна 2;
в) в ромбе диагонали взаимно перпендикулярны.
Р е ш е н и е. а) В этом предложении имеется квантор существования, он выражен словом «некоторые», и предикат «четные числа делятся на 3», заданный на множестве Х четных чисел. Обозначим предикат через А( х ), тогда логическая структура данного предложения такова: (∃х∈ Х) А( х ).
б) В данном предложении имеется квантор общности, он представлен словом «любой», и двухместный предикат «сумма двух нечетных чисел кратна 2», заданный на множестве нечетных натуральных чисел Х. Обозначим предикат через P( х , у ), тогда логическая структура данного предложения может быть записана в виде: (∀ х∈ Х) (∀ у∈ Х) P( х , у ).
в) В данном высказывании квантора в явном виде нет, но подразумевается, что свойством «иметь взаимно перпендикулярные диагонали» обладают любые ромбы, следовательно, в данное высказывание можно включить квантор общности, не изменив его сути: «в любом ромбе диагонали взаимно перпендикулярны». Тогда его структура такова: (∀ х ∈Х) А( х ), где Х – множество ромбов, А( х ) – предикат «в ромбе диагонали взаимно перпендикулярны».
П р и м е р 3. Запишите, используя символы, следующие высказывания и определите их значения истинности:
а) всякое число, умноженное на нуль, есть нуль;
б) уравнение х + 3 = 5 имеет решение в множестве натуральных чисел;
в) квадрат любого числа положителен.
Р е ш е н и е. а) Данное высказывание содержит квантор общности, он выражен словом «всякий». Предикат х ·0 = 0 задан на множестве действительных чисел R . Поэтому высказывание можно записать в виде (∀ х ∈ R ) х ·0 = 0. Это высказывание истинное, поскольку по определению умножение числа на 0 дает 0.
б) В явном виде квантор в данном предложении не присутствует. Переформулируем предложение так: «В множестве натуральных чисел N существует число, которое является решением уравнения х + 3 = 5», теперь ясно, что здесь есть квантор существования (слово «существует»), и высказывание можно записать так: (∃ х ∈ N ) х + 3 = 5. Высказывание истинное, потому что при х = 2 получим верное равенство.
в) Данное высказывание содержит квантор общности, он выражен словом «любой». Предикат х 2 > 0 определен на множестве всех действительных чисел R . Предложение можно записать так: (∀ х ∈R ) х 2 > 0. Высказывание является ложным, так как при х = 0 неравенство 0 > 0 не выполняется.
П р и м е р 4. Построить отрицание высказывания «некоторые двузначные числа делятся на 12».
Р е ш е н и е. Заменим квантор существования (он выражен словом «некоторые») на квантор общности «все» и построим отрицание предложения, стоящего после слова «некоторые», поставив частицу «не» перед глаголом. Получим высказывание «Все двузначные числа не делятся на 12».
П р и м е р 5. Сформулировать отрицание высказывания «В каждом классе хотя бы один ученик не справился с контрольной работой».
Р е ш е н и е. Данное высказывание содержит квантор общности, выраженный при помощи слова «каждый», и квантор существования, выраженный при помощи слов «хотя бы один». По правилу построения отрицаний высказываний с кванторами надо квантор общности заменить на квантор существования, а квантор существования – на квантор общности и убрать у глагола частицу «не». Получим: «Найдется такой класс, в котором все ученики справились с контрольной работой».
VII . Подведение итогов
Что такое кванторы?
Укажите способы установления значения истинности высказываний, содержащих кванторы
Сформулируйте правило построения отрицания высказывания, содержащего квантор
Читайте также: