 |
Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | |
Логика высказываний. Теорема. Необходимые и достаточные условия
|
|
Импликация. Будем говорить, что предложение W имплицирует или влечет, а также имеет следствием предложение Q, если Q справедливо всякий раз, как справедливо W, и будем записывать W Þ Q. Если, в свою очередь, Q влечет W, то предложения W и Q называются эквивалентными; это записывается W Û Q. Тогда в любом рассуждении одно из этих двух предложений можно заменять другим.
Кванторы. Для обозначения выражений “для всех”, “для каждого”, “каково бы ни было”, “существует”, “найдется хотя бы одно”, употребляются символы, которые называются кванторами:
Квантор общности ": “для всех”, “для каждого”, “каково бы ни было”.
Квантор существования $: “существует”, “найдется хотя бы одно”.
Например, утверждение, что А Ì В можно записать следующим образом – "а Î А Þ а Î В. Обратное неверно. Тот факт, что а Î В не влечет, что а Î А. Предложения не эквивалентны.
Отрицание. Отрицание данного свойства представляется символом данного свойства пересеченным чертой Ë,Ï, Þ.
Например, утверждение, что множество F не есть часть множества В, равносильно следующему: существует такой элемент а из F, что а не принадлежит В.
F Ë В Û ($ а Î F Þ а Ï В).
Предложения эквивалентны.
Определение. Математическое предложение, истинность которого устанавливается путем доказательства (путем рассуждения), называется теоремой. Вспомогательная теорема называется леммой.
Формулировка любой теоремы состоит из двух частей: условия и заключения, которое следует из данного условия. Условие и заключение могут меняться местами: условие стать заключением, а заключение – условием. Тогда одна из этих теорем называется прямой, а другая обратной.
В математике встречаются теоремы с тремя различными условиями; необходимое, достаточное и необходимое и достаточное.
Необходимое условие – это условие без выполнения, которого данное утверждение неверно.
Достаточное условие – это условие, из которого следует, что данное утверждение верно.
Например: 1. Чтобы четырехугольник был квадратом, необходимо, чтобы его диагонали были взаимно перпендикулярны.
Приведенное условие необходимо, но недостаточно. Действительно, если диагонали не перпендикулярны, то четырехугольник не квадрат, но если диагонали перпендикулярны, это не означает еще, что четырехугольник квадрат.
2. Если стороны четырехугольника равны, то такой четырехугольник – параллелограмм.
Это условие достаточное, но не является необходимым, так как и без его выполнения (стороны не равны) четырехугольник может быть параллелограммом.
Одно и то же условие может быть и необходимым, и достаточным одновременно.
Например, если в треугольнике два угла равны, то такой треугольник равнобедренный.
Данное условие достаточно, так как теорема верна и необходимо. Действительно, если в треугольнике два угла не равны, то такой треугольник равнобедренным быть не может – условие необходимо.
Необходимость и достаточность условия можно записать, используя импликацию. Если теорему рассматривать как совокупность двух предложений W и Q и если теорема верна, т.е. импликация истинная W Þ Q, то Q являетсянеобходимым условием для W, а W достаточным условием для Q. Если же предложения эквивалентны W Û Q, то W является необходимым и достаточным условием для Q, наоборот Q является необходимым и достаточным условием для W.
Дата публикования: 2015-02-20; Прочитано: 2910 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!
