5

щие в него простые высказывания.

1.4.Умозаключение

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

Например, если мы имеем суждение «Все углы треугольника равны», то мы можем путём умозаключения доказать, что в этом случае справедливо суждение «Этот треугольник равносторонний».

Умозаключение – это форма мышления, с помощью которой из одного или нескольких суждений (посылок) может быть получено новое суждение (заключение).

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

6

2. Алгебра логики

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

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

Логическое высказывание – это любое повествовательное предложение, в отношении которого можно однозначно сказать, истинно оно или ложно.

Пример. «3 – простое число» является высказыванием, поскольку оно истинно.

Не всякое предложение является логическим высказыванием.

Пример. Предложение «Давайте пойдём в кино» не является высказыванием. Вопросительные и побудительные предложения высказываниями не являются.

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

Пример. «x+2>5» – высказывательная форма, которая при x>3 является истинной, иначе ложной.

Алгебра логики рассматривает любое высказывание только с одной точки зрения – является ли оно истинным или ложным. Слова и словосочетания «не», «и», «или», «если..., то», «тогда и только тогда» и другие позволяют из уже заданных высказываний строить новые высказывания. Такие слова и словосочетания называются логическими связками.

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

Пример. Высказывание «Число 6 делится на 2» – простое высказывание. Высказывание «Число 6 делится на 2, и число 6 делится на 3» – составное высказывание, образованное из двух простых с помощью логической связки «и».

Истинность или ложность составных высказываний зависит от истинности или ложности элементарных высказываний, из которых они состоят.

Чтобы обращаться к логическим высказываниям, им назначают имена. Пример. Обозначим через А простое высказывание «число 6 делится на 2», а

через В простое высказывание «число 6 делится на 3». Тогда составное высказывание «Число 6 делится на 2, и число 6 делится на 3» можно записать как «А и В». Здесь «и» – логическая связка, А, В – логические переменные, которые могут

7

принимать только два значения – «истина» или «ложь», обозначаемые, соответственно, «1» и «0».

2.1.Логическое умножение (конъюнкция)

Объединение двух (или нескольких) высказывании в одно с помощью союза «и» называется операцией логического умножения или конъюнкцией,

логическим И.

Для обозначения операции логического умножения, или конъюнкции, ис-

пользуют символы Ʌ , &, . (точку, которую можно опускать), AND.

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

Следовательно, составное высказывание принимает значение “ложь”, когда ложно хотя бы одно из этих высказываний.

Так, из приведённых ниже четырёх составных высказываний, образованных с помощью операции логического умножения, истинно только четвёртое, так как в первых трёх составных высказываниях хотя бы одно из простых высказываний ложно:

Перейдём теперь от записи высказываний на естественном языке к их записи на формальном языке алгебры высказываний (алгебры логики). Образуем составное высказывание F, которое получится в результате конъюнкции двух простых высказываний:

F = А & В либо (F = А Ʌ В)

С точки зрения алгебры высказываний мы записали формулу функции логического умножения, аргументами которой являются логические переменные А и В, которые могут принимать значения «истина» (1) и «ложь» (0).

Сама функция логического умножения F также может принимать лишь два значения «истина» (1) и «ложь» (0). Значение логической функции можно определить с помощью таблицы истинности данной функции, которая показывает, какие значения принимает логическая функция при всех возможных наборах её аргументов (таблица 1).

8

Таблица 1 – Таблица истинности функции логического умножения (конъюнкции)

По таблице истинности легко определить истинность составного высказывания, образованного с помощью операции логического умножения. Рассмотрим, например, составное высказывание «2 • 2 = 4 и З • 3 = 10».

Первое простое высказывание истинно (А = 1), а второе высказывание ложно (В = 0); по таблице определяем, что логическая функция принимает значение “ложь” (F = 0), то есть данное составное высказывание ложно.

2.2.Логическое сложение (дизъюнкция)

Объединение двух (или нескольких) высказываний с помощью союза «или» называется операцией логического сложения или дизъюнкцией.

Операцию логического сложения (дизъюнкцию, логическое ИЛИ) принято обозначать символами «V», «+», OR.

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

Так, из приведённых ниже четырёх составных высказываний, образованных с помощью операции логического сложения, ложно только первое, так как в последних трёх составных высказываниях хотя бы одно из простых высказываний истинно:

Запишем теперь операцию логического сложения на формальном языке алгебры логики.

Образуем составное высказывание F, которое получится в результате дизъюнкции двух простых высказываний:

F = A v В

С точки зрения алгебры высказываний мы записали формулу функции логи-