рефераты конспекты курсовые дипломные лекции шпоры

Реферат Курсовая Конспект

Строение и виды теорем

Строение и виды теорем - Лекция, раздел Математика, Глава 1. Высказывания Теорема – Это Высказывание, Истинность Которого Устанавливается Посредством Р...

Теорема – это высказывание, истинность которого устанавливается посредством рассуждения (доказательства).

С логической точки зрения теорема представляет собой высказывание вида А Þ В , где А и В – предикаты с одной или несколькими переменными. Предложение А называют условием теоремы, а предложение В – ее заключением.

Рассмотрим теорему: «Если натуральное число делится на 2 и на 3, то оно делится на 6». Условие теоремы: «число делится на 2 и на 3», заключение теоремы: «число делится на 6». Условие и заключение теоремы представляют собой предикаты, заданные на множестве Х натуральных чисел. Данное предложение истинно при всех х из множества Х, следовательно, запись теоремы будет следующей: (" х Î Х) А (х) Þ В (х).

Т.о. в записи теоремы можно выделить 3 части:

1) разъяснительную (" х Î Х) – в ней описываются множества объектов, о которых идет речь в теореме;

2) условие теоремы: предикат А (х), заданный на множестве Х;

3) заключение теоремы: предикат В (х), заданный на множестве Х.

Для всякой теоремы вида (" х Î Х) А (х) Þ В (х) можно сформулировать предложения:

обратное данному (" х Î Х) В (х) Þ А (х),

противоположное данному (" х Î Х) ,

обратное противоположное данному (" х Î Х) .

Заметим, что эти предложения не всегда является теоремами. Например, предложение, обратное для теоремы «если каждое слагаемое делится на данное число, то и сумма делится на данное число» будет ложным. Оно будет формулироваться так: «Если сумма делится на данное число, то и каждое слагаемое делится на данное число». Чтобы убедиться в том, что оно ложное, можно привести контрпример: 3 + 7 = 10. Сумма 10 делится на 5, но ни одно слагаемое на 5 не делится. Данные предложения будут теоремами только в том случае, если они истинны.

Пример. Рассмотрим предложение: «Если каждое слагаемое – четное число, то и сумма – четное число». В нашем примере предикат А (х): «каждое слагаемое – четное число», В (х): «сумма – четное число». Данное предложение является истинным, поэтому его можно назвать теоремой.

Построим обратное предложение: «Если сумма – четное число, то и каждое слагаемое – четное число». Оно ложное, т.к. можно привести контрпример 8 = 5 + 3.

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

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

 

Заметим, что прямое и обратное противоположному предложения всегда имеют одинаковые значения истинности, т.к. имеется равносильность (А Þ В) Û (В Þ А), называемая законом контрапозиции. Из этого предложения также следует, что предложения, обратное данному и противоположное данному также имеют одинаковые значения истинности. Поэтому, рассматривая их, достаточно доказать (или опровергнуть) какое-нибудь одно, тем самым будет доказано (или опровергнуто) другое.

Если для данное теоремы А (х) Þ В (х) существует обратная В (х) Þ А (х), то их можно соединить в одну А (х) Û В (х), в формулировке которой будут использоваться слова «необходимо и достаточно», «тогда и только тогда».

Заметим также, что если условие или заключение теоремы представляет собой конъюнкцию или дизъюнкцию, то, чтобы получить предложение, противоположное данному, нужно учитывать правила построения отрицания конъюнкции или дизъюнкции.

 

– Конец работы –

Эта тема принадлежит разделу:

Глава 1. Высказывания

Курс лекций по математике...

Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ: Строение и виды теорем

Что будем делать с полученным материалом:

Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:

Все темы данного раздела:

Законы алгебры высказываний
  1. Коммутативные законы А Ù В º В Ù А А Ú В º В Ú А 2. Ассоц

Понятие множества. Элемент множества. Пустое множество
Множество – основное понятие математики и поэтому не определяется через другие. Обычно под множеством понимают совокупность предметов, объединенных по общему признаку. Так, можно говорить

Отношения между множествами. Графическая иллюстрация множеств
  Определение. Если множества А и В имеют общие элементы, т.е. элементы, принадлежащие одновременно множествам А и В, то говорят, что эти множества

Законы операций над множествами
  1. Коммутативные законы А Ç В = В Ç А А È В = В È А 2. Ассоциативные з

Число элементов объединения двух и трех конечных множеств
  В математике часто приходится решать задачи, в которых требуется определить число элементов в множестве, либо в объединении или пересечении множеств. Условимся число элемен

Упорядоченная пара. Декартово произведение двух множеств
  Рассмотрим задачу: используя цифры 1, 2, 3, образуйте все возможные двузначные числа. Запись каждого числа состоит из двух цифр, причем существенен порядок их следования (ч

Взаимно однозначное соответствие
Определение. Отображением f множества Х в множество Y называется такое соответствие между множествами Х и Y, при котором каждому элемен

Равномощные множества. Счетные и несчетные множества
Определение. Два множества Х и Y равномощны, если существует взаимно однозначное отображение множества Х на множество Y. (Обозначают: Х ~ Y).

Виды функций
  1. Постоянная функция. Определение. Постоянной называется функция, заданная формулой у = b, где b - некоторое число.

Обратная функция
  Пусть функция у = f (х) задает инъективное отображение числового множества Х в множество действительных чисел R (т.е. различным значения

Свойства отношений
  Отношение, заданное на множестве, может обладать рядом свойств, а именно: 1. Рефлексивность Определение. Отношение R на множестве Х

Отношение порядка. Упорядоченные множества
  Определение. Отношение R на множестве Х называется отношением порядка, если оно транзитивно и асимметрично или антисимметрично. Определение. Отн

Высказывания с кванторами и их отрицания
Если задан предикат, то, чтобы превратить его в высказывание, достаточно вместо каждой из переменных, входящих в предикат, подставить ее значение. Например, если на множестве натуральных ч

Отношение следование и равносильности между предложениями. Необходимое и достаточное условие
  Часто встречаются такие предикаты, что из истинности одного из них следует истинность другого. Например, можно сказать, что из предиката А (х): «число х кратно

Определение понятия. Требования к определению понятия
Появление в математике новых понятий, а значит, и новых терминов, обозначающих эти понятия, предполагает их определение. Определением обычно называют предложение, разъясняющее суть нового

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

Схемы дедуктивных умозаключений
  Умозаключение дает истинное заключение, если исходные посылки истинны и соблюдены правила вывода, или, как их еще называют, схемы дедуктивных умозаключений. Рассмотрим наиб

Проверка правильности умозаключений
В логике существуют различные способы проверки правильности умозаключений. Один из них – с использованием кругов Эйлера. Данное умозаключение вначале записывают на теоретико-множественном

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

Хотите получать на электронную почту самые свежие новости?
Education Insider Sample
Подпишитесь на Нашу рассылку
Наша политика приватности обеспечивает 100% безопасность и анонимность Ваших E-Mail
Реклама
Соответствующий теме материал
  • Похожее
  • Популярное
  • Облако тегов
  • Здесь
  • Временно
  • Пусто
Теги