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


Рассмотрим подробнее дедуктивные (правильные) умозаключения. Согласно определению (Дедуктивным называется умозаключение, в котором посылки и заключение находятся в отношении логического следования.) в дедуктивном умозаключении посылки и заключение находятся в отношении логического следования. Это означает, что в нем всегда из истинных посылок следует истинное заключение. Но как строить такие умозаключения и проверять их правильность?

В логике считают, что правильность умозаключения определяется его формой и не зависит от конкретного содержания входящих в него утверждений. И в логике предлагаются такие правила, соблюдая которые, можно строить дедуктивные умозаключения. Эти правила называют правилами вывода или схемами дедуктивных (правильных) умозаключений. Правил много, но наиболее часто используются следующие:

 

Выясним, что обозначают все знаки, использованные в записи этих правил; как их применять на практике.

Рассмотрим, например, правило заключения. В нем обозначены две посылки А(х) => В(х) и А(а). Первую называют общей посылкой, это может быть теорема, определение и, вообще, предложение вида А(х) => В(х). Вторую посылку А (а) называют частной, она получается из условия А(х) при х = а. Предложение В(а) - это заключение, оно получается из В(х) при х = а. Посылки отделены от заключения чертой, которая заменяет слово «следовательно».

Приведем пример умозаключения, выполненного по правилу заключения:

Если запись числа х оканчивается цифрой 5, то число х делится на 5. Запись числа 135 оканчивается цифрой 5. Следовательно, число 135 делится на 5.

В качестве общей посылки в этом умозаключении выступает утверждение вида «если А(х), то В(х)», где А(х) - это «запись числа д: оканчивается цифрой 5», а В(х) - «число х делится на 5». Частная посылка представляет собой высказывание, которое получилось из условия общей при jc = 135 (т.е. это Л(135)). Заключение является высказыванием, полученным из В(х) при х - 135 (т.е. это 5(135)).

Приведем теперь пример умозаключения, выполненного по правилу отрицания:

Если запись числа х оканчивается цифрой 5, то число х делится на 5. Число 177 не делится на 5. Следовательно, оно не оканчивается цифрой 5.

Видим, что в этом умозаключении общая посылка такая же, как и в предыдущем, а частная представляет собой отрицание высказывания «число 177 делится на 5 (т.е. это ).

Заключение- это отрицание предложения «Запись числа 177 не оканчивается цифрой 5» (т.е. ).

И, наконец, рассмотрим пример умозаключения, построенного по правилу силлогизма.

Если число х кратно 12, то оно кратно 6. Если число х кратно 6, то оно кратно 3. Следовательно, если число х кратно 12, то оно кратно 3.

В этом умозаключении две посылки вида «если А(х), то В(х)» и «если В(х), то С(х)», где А(х)- это предложение «х кратно 12», В(х) - предложение «х кратно 6» и С(х) - предложение «х кратно 3». Заключение представляет собой высказывание «если А (х), то С(х)».

Конечно, возникает вопрос, почему умозаключения, выполненные по правилам заключения, отрицания и силлогизма, будут дедуктивными (правильными)? Дело в том, что, выполняя рассуждения по этим правилам, мы всегда будем получать истинное заключение, что и требуется в дедуктивном умозаключении. Убедиться в этом можно, если воспользоваться кругами Эйлера.

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

Покажем, что умозаключение, выполненное по правилу заключения, является дедуктивным. Сначала запишем это правило на теоретико-множественном языке.

Посылка А (х) => В(х) может быть записана в виде Та Тв, где Та и Тв - множества истинности высказывательных форм А(х) и В(х).

Частная посылка А(а) означает, что а Та, а заключение В(а) показывает, что а Тв.

Все умозаключение, построенное по правилу заключения, запишется на теоретико-множественном языке так:

Изобразив на кругах Эйлера множества Та и Тв, и обозначив элемент а Та, мы увидим, что а Тв (рис. 37),т.е.а Та =>а Тв.

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

выполнено по схеме, отличной от рассмотренных.

 

З а д а ч а. Правильно ли следующее умозаключение: «если запись числа оканчивается цифрой 5, то число делится на 5. Число 125 делится на 5. Следовательно, запись числа 125 оканчивается цифрой 5».

Р е ш е н и е. Это умозаключение выполнено по схеме

которую в общем виде можно представить так:

Но такой схемы среди названных выше нет. Является ли она правилом дедуктивного умозаключения?

Чтобы ответить на этот вопрос, воспользуемся кругами Эйлера. На теоретико-множественном языке полученное правило можно записать так:

Изобразим на кругах Эйлера множества Та и Тв и обозначим элемент а, принадлежащий множеству Тв. Но оказывается, что он может содержаться в множестве ТА, а может и не принадлежать ему (рис. 38).

 

В логике считают, что такая схема не является правилом дедуктивного умозаключения, так как она не гарантирует истинности заключения. И вообще при анализе умозаключения нельзя отождествлять правильность умозаключения с истинностью полученного заключения: заключение

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

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

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

Полезно также запомнить и не путать с правилом заключения такую схему:

а с правилом отрицания схему:

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

Заметим, что полное дедуктивное умозаключение по приведенным трем правилам требует указания двух посылок. Однако в процессе рассуждений эти правила иногда сокращают, опуская одну из посылок. Например, объясняя, почему 6 < 8, ученик говорит, что «6 при счете называют раньше, чем 8, значит, 6 < 8». Является ли это умозаключение дедуктивным? Если «да», то по какому правилу оно выполнено?

В объяснении ученика пропущена общая посылка: «если число а при счете называют раньше числа b, то а меньше b». Если ее восстановить, то умозаключение ученика примет вид: , и это правило заключения.

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

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

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

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

Чтобы доказать данное утверждение, рассмотрим произвольный четырехугольник, в котором три угла прямые. Так как в любом выпуклом четырехугольнике сумма углов равна 360°, то и в данном она составляет 360°. Сумма трех прямых углов равна 270° (90° · 3 = 270°), и, значит, четвертый имеет величину 90° (360°- 270° = 90°). Если все углы четырехугольника прямые, он - прямоугольник. Следовательно, данный четырехугольник будет прямоугольником. Что и требовалось доказать.

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

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

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

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

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

1. В любом выпуклом четырехугольнике сумма углов равна 360°; данная фигура- выпуклый четырехугольник, следовательно, сумма углов в нем 360°.

2. Если известна сумма всех углов четырехугольника и сумма трех из них, то вычитанием можно найти величину четвертого; сумма всех углов данного четырехугольника равна 360°, сумма трех 270° (90° · 3 = 270°), то величина четвертого 360° - 270° = 90°.

3. Если в четырехугольнике все углы прямые, то этот четырехугольник- прямоугольник; в данном четырехугольнике все углы прямые, следовательно, он прямоугольник.

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

Самое простое доказательство состоит из одного умозаключения. Таким, например, является доказательство утверждения о том, что 6 < 8 (см. п. 26).

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

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

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

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

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

З а д а ч а 1. Доказать, что каждое составное натуральное число, больше 4, но меньше 20, представимо в виде суммы двух простых чисел.

Р е ш е н и е. Вспомним определение простого и составного числа. Простым называется такое натуральное число, которое делится только на 1 и на себя. Числа 2, 13, 5, 17- простые. Числа, которые имеют более двух делителей, называются составными. Число 1 не является ни простым, ни составным.

В данной задаче рассматривается промежуток чисел, которые больше 4, но меньше 20. Составными в нем будут числа: 6, 8, 9, 10, 12, 14, 15, 16, 18. Каждое из них можно представить в виде суммы двух простых чисел: 6 = 3 + 3; 8 = 5 + 3; 9 = 7 + 2; 10 = 5+5 (или 7+3); 12 = 5+7; 14 = 11+3 (или 7+7); 15 = 13+2; 16=13 + 3 (или 11 + 5), 18 = 13 + 5 (или 11 + 7). Так как данное утверждение истинно во всех частных случаях, то оно доказано.

Примером косвенного доказательства является доказательство методом от противного. Сущность его состоит в следующем. Пусть требуется доказать теорему А=> В. При доказательстве методом от противного допускают, что заключение теоремы (В) ложно, а, следовательно, его отрицание истинно. Присоединив предложение В к совокупности истинных посылок, используемых в процессе доказательства (среди которых находится и условие А), строят цепочку дедуктивных умозаключений до тех пор, пока не получится утверждение, противоречащее одной из посылок и, в частности, условию А. Как только такое противоречие устанавливают, процесс доказательства заканчивают и говорят, что полученное противоречие доказывает истинность теоремы А=$ В.

З а д а ч а 3. Доказать, что если а + 3 > 10,то а≠7.

Р е ш е н и е. Предположим, что заключение данного утверждения ложно, тогда истинным будет его отрицание, т.е. предложение а - 1. Подставим это значение а в неравенство а + 3 > 10. Получим предложение 7 + 3 > 10 или 10 > 10, которое ложно. Пришли в противоречию с определением отношения «больше» для чисел. Следовательно, наше предположение неверное, и поэтому, если а + 3 > 10, то а ≠ 7.

З а д а ч а 4. Доказать, что если х2 - четное число, то х - четно.

Р е ш е н и е. Предположим, что заключение данного утверждения ложно, тогда истинным будет его отрицание, т.е. предложение: «х- число нечетное». Любое нечетное число можно представить в виде х = 2n + 1, где n Z0. Тогда х2 = (2n +1)2 = 4 n 2+4 n +1 = 2(2 n2 + 2) + 1 = 2k + 1, где k = 2n2+2. Но это число нечетное. Пришли к противоречию с тем, что дано. Следовательно, наше предположение неверное, и поэтому если х2 - четное число, то х тоже четное число.

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

Ранее было отмечено, что выводы, которые мы получаем с помощью неполной индукции (или аналогии) носят характер предположения и поэтому их надо либо доказывать, либо опровергать. Поскольку выводы, о которых идет речь, носят, как правило, характер обобщения, то они формулируются в виде предложений, содержащих квантор общности. И следовательно, чтобы их опровергнуть, надо привести контрпример, а чтобы убедиться в истинности - доказать. Причем имеется в виду дедуктивный вывод. Таким образом, в процессе познания неполная индукция и математическое доказательство оказываются тесно связанными.

Проиллюстрируем это, решив следующую задачу.

З а д а ч а 5. Даны четыре последовательных натуральных числа. Верно ли, что произведение средних чисел этой последовательности больше произведения крайних на 2?

Р е ш е н и е. Попытаемся сначала высказать предположение относительно ответа на вопрос задачи. Для этого рассмотрим несколько конкретных случаев. Пусть 1,2,3,4 составляют данную последовательность. Образуем произведение средних чисел и произведение крайних и сравним их: 2·3 - 1·4 = 2. Возьмем еще одну последовательность, например, 5, 6, 7, 8, опять образуем произведения средних и крайних чисел и сравним их: 6 · 7 -5 · 8 = 2. Рассмотренные случаи позволяют предположить, что утверждение «Произведение средних чисел заданной последовательности всегда больше произведения крайних на 2» истинно. Это предположение является по существу выводом в умозаключении, называемом неполной индукцией.

Но истинность предложения с квантором общности надо доказывать.

Обозначим четыре последовательных натуральных числа так: n, n + 1, n + 2, n + 3. Образуем произведения средних и крайних чисел, получим (n + 1)( n + 2) и n (n + 3). Выполним преобразования этих выражений: (n +1)( n + 2) = n2 + 3n + 2; n(n+3) = n2 +3n.

Видим, что действительно первое произведение больше второго на 2. Что и требовалось доказать.

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

З а д а ч а 6. Верно ли, что если натуральное число п не кратно 3, то значение выражения п2 + 2 кратно 3?

Р е ш е н и е. Попытаемся сначала однозначно определиться с ответом на вопрос задачи. Для этого возьмем несколько чисел, не кратных 3, и найдем соответствующие значение выражения n2 + 2.

Если n = 1,то 12 + 2 = 3, 3 = 3,

Если n = 2, то 22 + 2 = 6, 6:3,

Если n = 3, то 32 + 2= 18, 18:3.

На основе рассмотренных случаев можно предположить, что утверждение «если натуральное число n не кратно 3, то значение выражения n2+ 2 кратно 3» истинно. Это вывод, который мы получили на основе неполной индукции. Но его надо доказывать.

Если натуральное число n не кратно 3, то при делении его на 3 в остатке получается 1 либо 2 и, соответственно, число n имеет вид 3q + 1 (q Z0) либо 3q + 2 (q Z0).

Если n = 3q + 1, то n2 + 2 = (3q + 1)2 + 2 = 9q2 + 6q + 3. В выражении 9q2 + 6q + 3 каждое слагаемое делится на 3, следовательно, на 3 делится и вся сумма, т.е. значение выражения n2+ 2.

При n = 3q+2 картина аналогична, т.е. значение выражения n2+ 2 и в этом случае делится на 3.

Полученные результаты позволяют заключить, что при любом натуральном n, которое не кратно 3, значение выражения n2 + 2 делится на 3.

Способ доказательства в данной задаче - полная индукция. Но применяется она иначе, чем в задаче 1. Дело в том, что отношению «иметь один и тот же остаток при делении на 3» соответствует разбиение множества натуральных чисел на 3 класса- это множество чисел, кратных 3, множество чисел, которые при делении на 3 дают в остатке 1, и множество чисел, которые при делении на 3 дают в остатке 2. Следовательно, все натуральные числа, не кратные 3, разбиваются на 2 класса, в первом содержатся числа вида 3+1, а во втором -числа вида 3q+2. Нами доказано, что при любом п из этих двух классов значение выражения п2 + 2 кратно 3.

 



Дата добавления: 2021-01-26; просмотров: 885;


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

Воспользовавшись поиском можно найти нужную информацию на сайте.

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

Считаете данную информацию полезной, тогда расскажите друзьям в соц. сетях.
Poznayka.org - Познайка.Орг - 2016-2024 год. Материал предоставляется для ознакомительных и учебных целей.
Генерация страницы за: 0.022 сек.