Объекты изучения алгебры логики. Булевы константы, переменные и векторы

Глава 1. АЛГЕБРА ЛОГИКИ

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

Простым высказыванием является любое утверждение на естественном или формальном языке, которое:

1) выражает одну законченную мысль

2) о котором имеет смысл говорить, истинно оно либо ложно.

Истину обозначают через И, ложь – через Л (англ. – T (true), F (false)). При математическом обозначении И заменяют на 1, Л – на 0. Допустимое в алгебре логики (двухзначной логике) множество значений истинности обозначают как E₂ = {0, 1}.

Если высказывание всегда истинно (равно 1) либо всегда ложно (равно 0), то его называют константой. Логические константы обычно обозначают строчными или прописными начальными буквами латинского алфавита, при которых также используют нижние индексы. Например: a, b, c, A, B, b₁, c₂, A₂.

Если высказывание может принимать оба логических значения (и 0, и 1), то его называют переменным (логической переменной). Логические переменные обозначают строчными и прописными средними буквами латинского алфавита (с индексами и без них), например: x, у, z, Х, Y, Z, x₁, z₂, Y₃.

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

а) а = «99 – самое большое натуральное число» – высказывание – булева константа, а º 0;

б) b₁ = «99 – самое большое двузначное натуральное число» – булева константа, b₁ º 1;

в) x = «Треугольник является прямоугольным» – булева переменная, поскольку x может принимать значения и 0, и 1;

г) приказ «встать!» – фраза не является высказыванием, поскольку не предполагается ее обсуждение и оценка истинности.

Наряду с фразами на естественном языке, простыми высказываниями (логическими константами и переменными) являются также математические соотношения, содержащие свои операции сравнения объектов – например:

1) арифметические условные выражения, в которых сравниваются числовые вещественные константы и переменные,

2) формулы теории множеств, в которых сравниваются множества.

Пример 2.Проанализируем следующие условные арифметические выражения: 1) (x² + y² < 0); 2) (x < y); 3) (x² + y² ³ 10).

Условие 1) (x² + y² < 0) является логической константой-ложью, поскольку при всех вещественных x и y оно не выполняется.

При (x = 1, y = 2) условие 2) (x < y) истинно, поскольку 1 < 2, а условие 3) (x² + y² ³ 10) ложно, так как 1² + 2² = 5 < 10.

При (x = 4, y = 2) условие 2) (x < y) ложно, поскольку 4 > 2, а условие 3) (x² + y² ³ 10) истинно, так как 4² + 2² = 20 > 10.

То есть условия (x < y) и (x² + y² ³ 10) являются логическими переменные.

Объектами алгебры логики (булевой алгебры) являются высказывания.

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

Истина обозначается И, ложь ― через Л. При математическом обозначении вместо И используется 1, вместо Л ― 0. Множество значений истинности E₂ = {0, 1}. По числу значений истинности алгебра логики называется также 2 – значной логикой.

Высказывания обычно обозначаются латинскими буквами.

Определение. Если высказывание всегда истинно (равно 1), либо всегда ложно (0) , то оно называется булевой константой.

Если высказывание может принимать оба истинностных значения (и 0 и 1), то оно называется булевой переменной.