Студопедия

КАТЕГОРИИ:


Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748)

Способы математического доказательства


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

В логике считают, что если рассматриваемое утверждение логически следует из уже доказанных утверждений, то оно обосновано и также истинно, как и последние.

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

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

Доказательства различают прямые и косвенные.

 

Прямые доказательства.

1) Основываясь на некоторых истинных предложениях и условии теоремы строится цепочка дедуктивных умозаключений, которые приводят к истинному заключению.

Пример. Докажем, что вертикальные углы равны. Углы 1 и 2 – смежные, следовательно,
Ð 1 + Ð 2 = 180о. Углы 2 и 3 – смежные, следовательно, Ð 2 + Ð 3 = 180о. Имеем: Ð 1 = 180о – Ð 2 Ð 3 = 180о – Ð 2 Þ Ð 1 = Ð 2.

 

2

1 3

 

2) Метод математической индукции. Утверждение справедливо для всякого натурального числа п, если: оно справедливо для п = 1 и из справедливости утверждения для какого-либо произвольного натурального п = k следует его справедливость для п = k + 1. (Подробнее будет рассмотрено на старших курсах.)

3) Полная индукция (смотри ранее).

 

Косвенные доказательства.

1) Метод от противного. Пусть требуется доказать теорему А Þ В. Допускают, что ее заключение ложно, а значит, его отрицание истинно. Присоединив предложение к совокупности истинных посылок, используемых в процессе доказательства (среди которых есть и условие А), строят цепочку дедуктивных умозаключений до тех пор, пока не получится утверждение, противоречащее одной из посылок. Полученное противоречие доказывает теорему.

Пример. Если две прямые параллельны одной и той же прямой, то они параллельны между собой.



Дано: хúú с, уúú с. Доказать, что х úú у.

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

 

2) Доказательство, основанное на законе контрапозиции: вместо теоремы А Þ В доказывают равносильную ей теорему . Если она истинна, то исходная теорема тоже истинна.

Пример. Если х2 – четное число, то х – четное число.

Доказательство. Предположим, что х – нечетное число, т.е. х = 2k + 1 Þ х2 = (2k + 1)2 =
= 4k2 + 4k + 1 = 2(2k2 + 2k) + 1 – нечетное.

Контрольные вопросы

1. Что называется умозаключением?

2. Какое умозаключение называется дедуктивным?

3. Дайте определения неполной и полной индукции.

4. Дайте определение умозаключения по аналогии.

5. Запишите схемы дедуктивных умозаключений и докажите тождественную истинность формул, лежащих в основе этих правил.

6. Как проверить правильность умозаключений с помощью кругов Эйлера? Какие еще известны способы проверки правильности умозаключений?

7. Какое умозаключение называется софизмом?

8. Что значит доказать утверждение?

9. Какие доказательства различают по способу ведения?

10. Опишите способы ведения рассуждения при различных формах прямого и косвенного доказательства.


 

 

Оглавление

 

Раздел 1. Общие понятия математики. 2

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

§ 1. Высказывания и операции над ними. Равносильные высказывания. 2

§ 2. Законы алгебры высказываний. 4

Глава 2. Элементы теории множеств. 6

§ 1. Понятие множества. Элемент множества. Пустое множество. 6

§ 2. Способы задания множеств. 6

§ 3. Отношения между множествами. Графическая иллюстрация множеств. 7

§ 4. Операции над множествами. 8

§ 5. Законы операций над множествами. 9

§ 6. Число элементов объединения двух и трех конечных множеств. 10

§ 7. Понятие разбиения множества на классы.. 11

Глава 3. Соответствия. 13

§1. Упорядоченная пара. Декартово произведение двух множеств. 13

§ 2. Соответствие между элементами множеств. Способы задания соответствий. 14

§ 3. Взаимно однозначное соответствие. 15

§ 4. Равномощные множества. Счетные и несчетные множества. 15

§ 5. Определение числовой функции. Способы задания функций. Свойства функций. 16

§ 6. Виды функций. 18

§ 7. Обратная функция. 20

Глава 4. Отношения на множестве. 22

§ 1. Понятие отношения. Способы задания отношений. 22

§ 2. Свойства отношений. 23

§ 3. Отношение эквивалентности. Связь отношения эквивалентности с разбиением множества на классы.. 25

§ 4. Отношение порядка. Упорядоченные множества. 26

Глава 5. Предикаты и теоремы.. 27

§ 1. Предикаты и операции над ними. 27

§ 2. Высказывания с кванторами и их отрицания. 28

§ 3. Отношение следование и равносильности между предложениями. Необходимое и достаточное условие. 29

§ 4. Строение и виды теорем.. 30

Глава 6. Математические понятия. 32

§ 1. Объем и содержание понятия. Отношения между понятиями. 32

§ 2. Определение понятия. Требования к определению понятия. 33

Глава 7. Математические доказательства. 35

§ 1. Умозаключения и их виды.. 35

§ 2. Схемы дедуктивных умозаключений. 36

§ 3. Проверка правильности умозаключений. 37

§ 4. Способы математического доказательства. 39

 

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

Дата добавления: 2014-01-04; Просмотров: 534; Нарушение авторских прав?; Мы поможем в написании вашей работы!


Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет



ПОИСК ПО САЙТУ:


Рекомендуемые страницы:

Читайте также:

  1. Алгоритмы и способы их описания
  2. АНАЛИТИЧЕСКОЕ СОСТАВЛЕНИЕ МАТЕМАТИЧЕСКОГО ОПИСАНИЯ.
  3. Аппаратура и способы стерилизации воздуха
  4. Аудиторские доказательства должны быть достаточными (по количеству) и надлежащими (по качеству).
  5. Аудиторские доказательства.
  6. Базовые способы записи
  7. Билет № 53: Специфика кризисных ситуаций для российских предпринимательских структур. Пути и способы выхода из кризисных ситуаций.
  8. Биологические способы -переливание кровисвежей, с малыми сроками хранения, плазмы, тромбоцитной массы, фибриногена, ингибиторов протеолиза- контрикала, гордокса.
  9. В любом случает существуют определенные способы реализации власти, которые воплощаются в конкретных элементах распорядительной деятельности.
  10. Вероятностный смысл математического ожидания
  11. Виды лабораторных животных,способы их заражения.
  12. Виды средних и способы их вычисления

studopedia.su - Студопедия (2013 - 2021) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав! Последнее добавление
Генерация страницы за: 0.005 сек.