Логическое следствие

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

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

(P ) – закон исключенного третьего;

( ~ P) – закон двойного отрицания;

() - закон противоречия.

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

Пусть P₁,…,P_n -посылка, D – заключение. Тогда для определения правильности рассуждения , т.е. утверждения о том, что из данных посылок P₁,…,P_n следует заключение D, требуется установить тождественную истинность импликации (P₁&…&P_n) ® D.

В качестве примера рассмотрим рассуждение:

Если Петр занимается спортом, то Петр никогда не болеет. Петр занимается спортом. Следовательно, Петр никогда не болеет.

Это рассуждение по схеме .

Формула ((A ® B) & A) ® B является тавтологией, и, значит, рассуждение правильное.

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

Если Петр занимается спортом, то Петр никогда не болеет. Петр никогда не болеет. Следовательно, Петр занимается спортом

Это рассуждение по схеме . Но формула ((A ® B) & B) ® A не является, как легко проверить, тавтологией. Поэтому это неверное рассуждение. Петр может как заниматься, так и не заниматься спортом.

Распространенной схемой правильных рассуждений является также

, которая основана на тавтологии ((A ® B) &

Если требуется доказать истинность высказывания вида A ® B, где

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

Другим известным приемом доказательства импликации A ® B является метод доказательства от противного, когда допускают, что импликация A ® B ложно и приходя к противоречию, заключающемуся в том что некоторые высказывания истинно и ложно одновременно (C & ). Этот метод основан на тавтологии (A ® B) ~ (() ® (C & )) ~((A& )® (C & )). Именно этим путем была доказана не равномощность множеств A и 2^A в §5 главы 1.

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

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

Чтобы исследовать, справедливо ли это рассуждение, символизируется его, заменяя простые высказывания буквами. Пусть C означает “Я пойду завтра на первое занятие”; G – “Я должен встать рано”; D – “Я пойду вечером на танцы”; S – “Я лягу спать поздно”, а E – “Я могу обойтись пятью часами сна ”. тогда посылки можно записать символически в следующем виде:

(C ® G) & (D ® S),

S & G ® E,

,

а исследуемое заключение примет вид

.

Следуя описанному выше методу анализа, примем, что каждая из посылок истинна, а заключение ложно. Тогда и C и D должны иметь значение “истина”. Далее, из первой посылки следует, что G и S также имеют значение “истина”. Это и вторая посылка влечет за собой, что E имеет значение “истина”. Но это противоречит допущению что третья посылка имеет значение “истина”.

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