Высказывание, которое можно разложить на части, будем называть сложным, А неразложимое далее высказывание - простым.

Сложное высказывание получается путем объединения простых высказываний связками - частицей НЕ; союзами И; ИЛИ; НЕВЕРНО, ЧТО...; ТОГДА И ТОЛЬКО ТОГДА..., КОГДА...; ЕСЛИ..., ТО... Значение истинности cложных высказываний зависит от истинности входящих в них простых высказываний и объединяющих их связок.

Например, даны четыре простых высказывания:
На улице идет дождь. (1)
На улице светит солнце. (2)
На улице пасмурная погода. (3)
На улице идет снег. (4)
Составим из них сложные высказывания:
На улице идет дождь и на улице светит солнце.
На улице светит солнце или на улице пасмурная погода.
Неверно что на улице идет дождь и на улице идет снег.
Тогда и только тогда на улице идет дождь, когда на улице пасмурная погода.
На улице не идет дождь и на улице не идет снег.
Если на улице идет дождь, то на улице светит солнце.

В математической логике не рассматривается конкретное содержание высказывания, важно только, истинно оно или ложно. Поэтому высказывание можно представить некоторой переменной величиной, значением которой может быть только 0 или 1. Если высказывание истинно, то его значение равно 1, если ложно - 0. Простые высказывания назвали логическими переменными, а сложные высказывания логическими функциями. Значения логической функции также только 0 или 1. Для простоты записи высказывания обозначаются латинскими буквами А, В, С.
У кошки четыре ноги. Аº 1
Москва расположена на двух холмах. Вº 0

Использование знаков 0 и 1 подчеркивает некоторое соответствие между значениями логических переменных и функций в математической логике и цифрами в двоичной системе счисления. Это позволяет описывать работу логических схем ПК и проводить их анализ и синтез с помощью математического аппарата алгебры логики.
Любое устройство ПК, выполняющее действия над двоичными числами, можно рассмотреть как некоторый функциональный преобразователь.
Причем входные числа - значения входных логических переменных, а выходное число - значение логической функции, которое получено в результате выполнения определенных операций. Таким образом, этот преобразователь реализует некоторую логическую функцию.

Значение логической функции при разных сочетаниях значений входных переменных - или, как это иначе называют, наборах входных переменных - обычно задаются специальной таблицей. Такая таблица называется таблицей истинности. Количество наборов входных переменных (Q) можно определить по формуле:
Q=2ⁿ, где n - количество входных переменных.

Таблица может иметь вид:

X	Y	Z	F(X, Y, Z)

Вопросы и задания.
1. Что такое высказывание?
2. Какие высказывания бывают?
3. Какие высказывания называются простыми, а какие - сложными?
4. Что не является высказыванием?
5. Какие предложения являются высказываниями?
а) 3+2=5.
б) Не шуметь!
в) y² ³ 0.
г) Окружностью называется множество всех точек на плоскости, расстояние которых до данной точки этой плоскости имеет заданную величину.
д) Число символов в этом предложении равно 7.
е) 3 < 2.
ж) Войдите!
6. Установите: какие из следующих предложений являются истинными, а какие - ложными высказываниями:
а) “Число 123 меньше числа 124”.
б) “Все треугольники равнобедренные”.
в) “Сумма чисел 4 и z равна 15”.
г) “(13-2*4)*4=-7”.
7. Даны высказывания:
A: “Математическая логика - важная наука”
B: “ВТ построена на законах математической логики”
Образуйте из данных высказываний сложные и подчеркните слова, при помощи которых они образованы.
8. Среди приведенных ниже высказываний укажите сложные; выделите в них простые, обозначив каждое из них буквой. Запишите с помощью букв каждое сложное высказывание.
а) “На уроке логики учащиеся отвечали на вопросы учителя и писали самостоятельную работу”.
б) “Мы пойдем кататься на коньках или на лыжах”.
в) “Если в данном четырехугольнике диагонали имеют равную длину, то этот четырехугольник - ромб”.
г) “-17<=0”.
д) “Число 15 делится на 3 тогда и только тогда, когда сумма цифр этого числа делится на 3”.

Основные операции

В алгебре высказываний, как и в обычной алгебре, вводится ряд операций. Связки И, ИЛИ и НЕ заменяются логическими операциями: конъюнкцией, дизъюнкцией и инверсией. Это основные логические операции, при помощи которых можно записать любую логическую функцию.

1. Операция логического отрицания (инверсия)
А: “Сегодня в 12 часов дня я был на катке.”
В: “Сегодня я был на катке не 12 часов дня.”
С: “Я был на катке в 12 часов не сегодня.”
D: “Сегодня в 12 часов дня я был в кино.”
E: “Сегодня я был на катке в 3 часа дня.”
F: “Сегодня в 12 часов дня я не был на катке.”
Рассмотрим высказывания A и F. Высказывание F истинно, если А - ложно и наоборот. Его называют отрицанием высказывания А.
Присоединение частицы “не” к сказуемому данного простого высказывания А называется логическим отрицанием.
Указание о выполнении операции логического отрицания над высказыванием обозначается с помощью черточки над буквой.
- указание выполнить логическое отрицание над высказыванием А.
Иногда используют другое определение: присоединение слов “неверно что...” ко всему данному высказыванию есть логическое отрицание.
Пример: А: “5 является делителем числа 30”
: “Число 5 не является делителем числа 30.”