Выше было сказано, что закон логики – это схема (логическая форма), которой присуще следующее свойство: каким бы содержанием мы ее ни наполняли, в результате получим верное, правильное рассуждение. Закон логики высказываний есть частный случай закона логики вообще.
Специфика законов логики высказываний в том, что в качестве значений переменных, входящих в структуру логических форм, выступают отдельные высказывания как целостные образования. И какие бы высказывания ни подставлялись вместо переменных в логический закон, результат будет одним и тем же – полученное сложное высказывание будет истинным.
Очевидно, здесь мы сталкиваемся с трудностью: как установить, что некоторая логическая форма – логический закон, если требуется бесконечное число подстановок? На помощь приходят следующие соображения.
Поскольку мы исходим из допущения, что любое произвольно взятое высказывание либо истинно, либо ложно, то всякая подстановка в логическую форму, образованная с помощью произвольного высказывания, также окажется либо истинной, либо ложной, иное исключено. Поэтому вместо бесконечных подстановок можно ограничится лишь двумя – истинным высказыванием и ложным высказыванием (соответственно значениями
«истинно», «ложно»). А это означает, что для выявления форм, являющихся логическими законами, можно воспользоваться таблицами истинности.
Пример логического закона, о котором речь шла выше, а именно:
Если р, то q; следовательно, если не - q, то не – р
может служить иллюстрацией закона логики высказываний. Поскольку теперь мы знаем, как выражаются символически логические константы «если, то», «неверно, что» и др., то можно дать окончательное выражение этой схемы на языке логики высказываний. В результате получим:
(р ® q)®(Ø q ® Ø р)
Испытаем эту схему с помощью табличным способом
(см. таблицу 4).