Лекции.Орг


Поиск:




Эквиваленция. Необходимое и достаточное условие

Эквиваленция обозначается значком и читается «тогда и только тогда»

Наверное, многие догадываются, что это за операция:

Эквиваленцией высказываний и называют высказывание , которое истинно в том и только том случае, когда высказывания и истинны или ложны одновременно:

Данная операция естественным образом выражается формулой «из а следует бэ и из бэ следует а».

Предположим, что Петя вышел на финишную черту сессии, и ему осталось сдать 3 экзамена:

– три экзамена сданы;
– сессия успешно завершена.

Очевидно, что при описанных выше обстоятельствах эти высказывания эквиваленты:

– сессия успешно завершена тогда и только тогда, когда сдано 3 экзамена.

Перед вами пример необходимого и достаточного условия: для того чтобы завершить сессию успешно Пете необходимо сдать 3 экзамена (в противном случае сессия будет не сдана) и в то же самое время этого достаточно (т.к. больше ничего делать не нужно).

Особенность эквиваленции состоит в том, что имеет место либо и то и другое, либо ничего, например:

Петя занимается штангой тогда и только тогда, когда Маша танцует на столе

Это значит, что либо Петя занимается штангой и Маша танцует на столе, либо они оба лежат на диване Пётр, ты заслужил! =) Такие вот дружные Петя и Маша. Теперь вроде бы похожая фраза без «тогда и только тогда»:

Петя занимается штангой, когда Маша танцует на столе

Но смысл несколько поменялся: здесь можно предположить, что Петя, бывает, тягает штангу и без Маши, и другой стороны, Маше «до лампочки», качается ли во время её танца Петя.

Вот в чём сила необходимого и достаточного условия! – оно объединяет и дисциплинирует =)

…хотел я для прикола распределить роли наоборот, но затем передумал… всё-таки нельзя такое пропагандировать =)

К слову, о дисциплине – рациональный подход как раз и предполагает необходимость и достаточность – когда человек для достижения какой-либо цели делает ровно столько, сколько нужно, и не больше. Это, конечно, бывает скучно в обычной жизни, но всячески приветствуется в математических рассуждениях, которые нас уже заждались:

Треугольник является равносторонним тогда и только тогда, когда у него равные углы

Высказывания – треугольник равносторонний и – у него равные углы можно соотнести эквиваленцией , но на практике мы почти всегда связываем их обоюдоострым значком логического следствия , который тоже читается «тогда и только тогда». Отличие от эквиваленции такое же:

– когда мы утверждаем, что , то изначально полагаем высказывание истиной (и никак не ложью). И наоборот, запись подразумевает безусловную истинность посылки .

И в заключение первой части урока вспомним знаменитую теорему, которую я переформулирую «по-взрослому»:

Для того, чтобы треугольник был прямоугольным необходимо и достаточно, чтобы квадрат одной из его сторон равнялся сумме квадратов двух других сторон:

Напоминаю, что сторона называется гипотенузой (бОльшая сторона, лежащая напротив угла ), а стороны – катетами.

Перепишем теорему в сокращённой записи:
– треугольник прямоугольный – выполнено

Доказательство «теорем такого типа» состоит из 2 частей, у которых тоже есть стандартные названия (наверное, неоднократно сталкивались):

1) Необходимость (условия ):
– иными словами, тут нужно доказать, что для того, чтобы треугольник был прямоугольным, необходимо выполнение равенства .

Данный пункт – это собственно и есть теорема Пифагора, формулировка которой нам знакома ещё со школы: «Если треугольник прямоугольный, то ».

2) На втором шаге обосновывается достаточность:
– здесь надо доказать, что справедливость равенства достаточна для того, чтобы треугольник был прямоугольным.

Учащихся опять же такими словами не запугивают, и второй пункт формулируют в виде обратной теоремы Пифагора: «Если , то треугольник прямоугольный».

Связей по схеме «тогда и только тогда» в математике очень много, и я только что привёл стандартную схему их доказательства. И, конечно же, всегда анализируйте, что означают «необходимо», «достаточно», «необходимо и достаточно» в том или ином случае.

Следует отметить, что теорему можно рассмотреть с точки зрения логической операции , но вот запись (как и обратная запись ) становится нелегальной! Почему? Пусть – треугольник не прямоугольный, – равенство выполнено. Но тогда по импликационной таблице получаем , что не соответствует действительности!

Но зато записи совершенно законны, поскольку логическое следствие отталкивается исключительно от истины!

Жду вас во второй части нашего увлекательного урока, где мы познакомимся с основными логическими формулами и законами, а также порешаем практические задачи. Для решения задач потребуется пять табличек с этой страницы, поэтому я рекомендую сразу переписать их на листок – чтобы они были перед глазами.

Кроме того, я открою вам секрет успешного изучения математической логики;)

 



<== предыдущая лекция | следующая лекция ==>
Математическая логика формальна | Индивидуальная самостоятельная работа
Поделиться с друзьями:


Дата добавления: 2018-10-15; Мы поможем в написании ваших работ!; просмотров: 268 | Нарушение авторских прав


Поиск на сайте:

Лучшие изречения:

Лаской почти всегда добьешься больше, чем грубой силой. © Неизвестно
==> читать все изречения...

948 - | 878 -


© 2015-2024 lektsii.org - Контакты - Последнее добавление

Ген: 0.009 с.