Логика высказываний

Исходным понятием математической логики является «высказывание». Под высказыванием понимают повествовательное предложение, относительно которого имеет смысл утверждать, истинно оно (обозначается символами 1 или И) или ложно (символы 0 или Л). Значения И и Л (или 1 и 0) называются истинностными значениями высказывания, множество {И, Л} (или {0,1}) называется множеством истинностных значений. Заметим, что значение высказывания ситуативно, при этом в каждой ситуации высказывание принимает одно и только одно из двух значений – И или Л.

Например, повествовательное предложение «3 есть простое число» является истинным, а «3.14… – рациональное число» – ложным, «Колумб открыл Америку» – истинным, а «Киев – столица Узбекистана» – ложным, «Число 6 делится на 3» – истинным, а «Сумма чисел 2 и 3 равна 6» – ложным и т. п.

Такие высказывания называют простыми или элементарными. При формальном исследовании сложных текстов вместо понятия «простые высказывания» используют понятие «пропозициональные переменные» (от лат. propositio – предложение), которые обозначают прописными буквами латин­ского алфавита A, B, C,… Истинность или ложность высказывания будем отмечать символами 1 – истина или 0 – ложь.

Пример:

1) если A₁ =«3 – простое число», то A₁ = 1;

2) если A₂ =«3 – вещественное число», то A₂ = 1;

3) если B₁ =«3, 14…– рациональное число», то B₁ = 0;

4) если D =«Киев – столица Узбекистана», то D = 0.

Замечание. Символ «=» означает, что пропозициональной переменной, стоящей слева, присвоить значение высказывания, стоящего справа от символа.

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

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

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

АЛГЕБРА ВЫСКАЗЫВАНИЙ