Математической индукции

Высказывания. Типы теорем. Метод

 

Под простым высказыванием понимают утверждение (повествовательное предложение), в отношении которого можно сказать, истинно оно или ложно (но не то и другое вместе).

Высказывания обозначают латинскими буквами A, B, C, …, их значения истина и ложь соответственно, через «И» и «Л». Сложные высказывания получают из простых при помощи логических операций, к которым относятся отрицание, конъюнкция, дизъюнкция, импликация, эквивалентность (эквиваленция).

Если А – высказывание, то отрицание высказывания А определяется как такое высказывание, которое истинно тогда и только тогда, когда высказывание А ложно. Отрицание высказывания А обозначается (или ØА) и читается «не А».

Истинность-ложность операции отрицания выражает истинностная таблица 1.1.

 

Т а б л и ц а 1.1

 

А
И Л
Л И

 

Конъюнкцией двух высказываний называется такое высказывание, которое истинно тогда и только тогда, когда оба составляющие ее высказывания истинны.

Если А, В - высказывания, то их конъюнкция обозначается A Ù B (или А & B) и читается «А и В».

Конъюнкции соответствует истинностная таблица 1.2.

 

Т а б л и ц а 1.2

 

А В А Ù В
И И И
И Л Л
Л И Л
Л Л Л

 

Дизъюнкцией двух высказываний называется такое высказывание, которое ложно тогда и только тогда, когда оба составляющие ее высказывания ложны.

Если А, В - два высказывания, то их дизъюнкция обозначается А Ú В и читается «А или В». Союз «или» здесь употребляется в соединительном, а не в разделительном смысле, т. е. для истинности высказывания А Ú В допускается также случай истинности обоих высказываний А, В.

Операции дизъюнкции соответствует истинностная таблица 1.3.

 

Т а б л и ц а 1.3

 

А В А Ú В
И И И
Л И И
И Л И
Л Л Л

 

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

Импликации соответствует истинностная таблица 1.4.

 

Т а б л и ц а 1.4

 

А В А Þ В
И И И
Л И И
И Л Л
Л Л И

 

Эквивалентность двух высказываний А, В определяется как высказывание, которое истинно тогда и только тогда, когда высказывания А, В оба истинны или оба ложны. Обозначается А Û В и читается «А тогда и только тогда, когда В» («если А, то В, и, если В, то А», «А есть необходимое и достаточное условие для В»). Значения эквивалентности определены в истинностной таблице 1.5.

 

Т а б л и ц а 1.5

 

А В А Û В
И И И
И Л Л
Л И Л
Л Л И

 

Если теорема сформулирована в виде A Þ B, то она называется признаком или достаточным условием дляB, где A, B – некоторые высказывания.

Теорема типа В Þ А называется обратной для теоремы A Þ B.

Если теорема имеет вид A Û B, то она называется критерием или необходимым и достаточным условиями для B.

Теорема такого типа объединяет прямую и обратную теоремы.

Теорема типа называется противоположной к обратной теореме.

Высказывание A Þ B истинно тогда и только тогда, когда истинно высказывание . На этом факте основан метод доказательства от противного.

Для доказательства истинности некоторого утверждения А(n) при всех значениях натуральной переменной n, от которой оно зависит (начиная с n0, n0 Î N), часто используют метод математической индукции. Для этого необходимо сделать следующие три шага:

1) непосредственной проверкой убедиться в истинности А(n0);

2) допустить, что А(k) истинно для любого k ³ n0;

3) доказать, что А(k + 1) истинно для всех k Î N, k ³ n0.

 

Пример 1. Заданы высказывания:

А: число 7 больше числа 6;

В: число 7 равно числу 6;

С: сумма углов треугольника равна 180°.

Рассмотреть следующие высказывания и установить их значения (И или Л): A Þ B, B Û C, ,

Решение. число 7 не больше числа 6. Это высказывание есть Л, так как А – И.

число 7 больше или равно числу 6. Это высказывание является дизъюнкцией высказываний А, В, где А – И, В – Л. Согласно табл. 1.3, оно есть И.

число 7 больше и равно числу 6. Это конъюнкция высказываний, где А – И, В – Л. По табл. 1.2 оно есть Л.

A Þ C: если число 7 больше числа 6, то сумма углов треугольника равна 180°. Это импликация двух истинных высказываний, а поэтому оно есть И.

B Û C: число 7 равно числу 6 тогда и только тогда, когда сумма углов треугольника равна 180°. Поскольку В – Л, С – И, то согласно табл. 1.5 для эквивалентности получаем, что B Û C есть Л.

если сумма углов треугольника не равна 180°, то число 7 не больше числа 6. Поскольку рассматривается импликация двух ложных высказываний, то по табл. 1.4 это высказывание есть И.

если число 7 больше 6 или сумма углов треугольника равна 180°, то число 7 не равно числу 6. Высказывание является И (по табл. 1.3 как дизъюнкция двух истинных высказываний). Высказывание также есть И. Тогда рассматриваемая импликация по своему значению есть И.

 

Пример 2. Доказать истинность эквивалентности

(1.1)

Решение. Для доказательства рассмотрим четыре возможных случая.

1. Пусть оба высказывания A, B есть истина. Тогда согласно таблице истинности 1.4 для импликации, A Þ B есть И. Поскольку B есть И, то по таблице истинности 1.3 для дизъюнкции есть И. Значит, высказывания в левой и правой частях истинны, т. е. эквивалентность также есть И.

2. Пусть A является истиной, B – ложное. Тогда импликация AÞB есть Л. В правой части эквивалентности (1.1) также имеем ложное высказывание, так как это дизъюнкция двух ложных высказываний. Следовательно, эквивалентность (1.1) является истиной.

3. Пусть A есть ложь, B – истина. Тогда A Þ B есть И, – И, а поэтому эквивалентность (1.1) является истинной.

4. Пусть оба высказывания A, B есть Л. Тогда A Þ B есть И, – И.

Мы доказали, что во всех возможных случаях исходных значений высказываний A, B эквивалентность (1.1) есть И.

 

Пример 3.Доказать справедливость формулы

(1.2)

для любого n Î N.

Решение.Используем метод математической индукции.

1. Проверяем справедливость равенства (1.2) при n =1. Для этого в равенстве (1.2) полагаем n =1, причем левая часть равенства будет состоять из одного слагаемого:

1 = 1 – выполняется.

2. Допускаем,что для n = k верно утверждение

(1.3)

3. Доказываем его истинность для n = k + 1:

Рассмотрим левую часть равенства (1.2):

Используем далее тот факт, что выражение в последних скобках, согласно (1.3), равно В итоге получаем

Правая часть равенства (1.2) для n = k + 1 имеет вид:

Очевидно, что левая и правая части равенства (1.3) при n = k + 1 равны.

Так как все три шага математической индукции реализованы, формула верна для любого n Î N.

 

Пример 4. Найти все натуральные числа n, для которых верно неравенство

(1.4)

Решение. Утверждение, которое можно было бы доказывать методом математической индукции явно не сформулировано. По этой причине выясним закономерность взаимозависимости величин и Придадим последовательно числу n значения 1, 2, 3, 4, 5, 6 и соответственно получим Таким образом, можно высказать гипотезу: исходное неравенство справедливо для n = 1 и каждого натурального n 5. Докажем это утверждение.

1. Истинность неравенства (1.4) для n = 5 уже доказана.

2. Допустим, что неравенство (1.4) верно для любого n = k, k ³ 5, k Î N, т. е.

(1.5)

Используя неравенство (1.5), докажем неравенство

(1.6)

Исходя из неравенства (1.5), имеем:

(1.7)

Заметим, что для всех натуральных k ³ 3, в чем можно убедиться, например, графически, рассмотрев функцию для х = 3, 4, 5, … (рис. 1.1).

 

 


Рис. 1.1

 

Тогда или Прибавим к обеим частям последнего неравенства Получим

Полученное неравенство может быть записано в виде Вместе с неравенством (1.7) оно доказывает справедливость неравенства (1.6).

На основании метода математической индукции приходим к выводу, что исходное неравенство верно для каждого k ³ 5, и, кроме этого, непосредственно убедились, что верно и для n = 1.

 








Дата добавления: 2015-09-29; просмотров: 789;


Поиск по сайту:

При помощи поиска вы сможете найти нужную вам информацию.

Поделитесь с друзьями:

Если вам перенёс пользу информационный материал, или помог в учебе – поделитесь этим сайтом с друзьями и знакомыми.
helpiks.org - Хелпикс.Орг - 2014-2024 год. Материал сайта представляется для ознакомительного и учебного использования. | Поддержка
Генерация страницы за: 0.025 сек.