Navigation bar
  Print document Start Previous page
 44 of 154 
Next page End  

44
Отсюда непосредственно видно, что законы логики высказываний, во-первых, облегчают наши
рассуждения, во-вторых, значительно упрощают их, в-третьих, делают их более точными и
удобозримыми, ибо с символами и формулами обращаться легче, чем с менее определенными и
неточными словесными формулировками.
Поскольку законы исчисления высказываний являются такими же общезначимыми по своему
характеру, как и основные законы логики, то в принципе они ничем не отличаются от них. Если мы
продолжаем отличать их от основных законов логики, то это скорее дань традиции, хотя для
характеристики разных систем такое различие продолжает сохранять свое значение. Так,
конструктивную логику мы отличаем от классической по отсутствию в ней закона исключенного
третьего.
3.5. Логическое следование
Основная задача логики состоит в том, чтобы исследовать, какие следствия вытекают из данных
утверждений, например, какие теоремы в математике следуют из принятой системы аксиом.
Интуитивно мы можем выводить заключения, не обращаясь к логической символике и технике и даже
ясно не сознавая те логические правила, которыми неявно пользуемся. Однако в более трудных случаях
интуитивных возможностей оказывается недостаточно, в особенности когда приходится проверять
рассуждения и анализировать ошибки. Даже в простейших случаях можно допустить ошибку, как
показывает следующий пример.
"Если не будет дождя (¬Д), то он придет на встречу (В)". Пошел дождь, значит он не придет на
встречу (¬В). Переведем эту словесную формулировку на логический язык исчисления высказываний и
тогда получим формулу:
((¬Д >
В)
Д))
> ¬
В (1)
Чтобы проверить правильность заключения, построим для него таблицу истинности (табл. 8).
Хотя заключение словесного рассуждения кажется на первый взгляд верным, но оно логически не
следует из посылок, в чем можно убедиться, если сравнить значение истинности посылок формулы (1)
со значением истинности заключения. Если бы заключение логически следовало из посылок, тогда при
одновременной истинности посылок (¬Д > В) в первой строке табл. 8 и Д заключение ¬В в последнем
столбце этой же строки должно быть истинным, а оно ложно. Но фундаментальный принцип логики
постулирует, что из истинных посылок нельзя вывести ложного заключения. Это и показывает, что
рассматриваемое заключение не следует из посылок. Ведь не исключается возможность, что несмотря
на дождь, человек может прийти на встречу.
Отсюда становится ясным, что установить логическое следование одного высказывания или
формулы из другого можно с помощью построения таблицы истинности всех входящих в формулы
простых (элементарных) высказываний, которые называют атомарными (или просто атомами). В
противоположность этому сложные (составные) высказывания, построенные с помощью логических
связок, рассматривают как молекулярные. Если будет установлено, что при одновременной истинности
посылок заключение окажется также истинным, то это дает основание сказать, что данная формула или
высказывание логически следует из другой или других, т.е. заключение следует из посылок. В
противном случае, как мы видели в предыдущем примере, заключение логически не следует из
посылок.
Теперь дадим общее определение логическому следованию в исчислении высказываний. Обозначим
через заглавные буквы латинского алфавита молекулярные высказывания А и В, состоящие из
атомарных (элементарных) высказываний х¹, х², x³,..., xn. Тогда говорят, что "В
следует из А или
является следствием А", когда в таблицах истинности для А и В формула В имеет значение "истина" во
всех тех строках, где А имеет значение "истина". Символически следование обозначается знаком " | =",
например А | = В.
Сайт создан в системе uCoz