Алгебра высказываний. Высказывания и операции над ними

математической логики, в котором изучаются операции над высказываниями.
Под высказыванием будем понимать повествовательное предложение, которое однозначно характеризуется как истинное или ложное.
Таким образом, каждое высказывание имеет только одно из двух значений – истина или ложь. Для их обозначения будем использовать буквы «И», «Л» соответственно, а сами значения называть истинностными значениями.
Рассмотрим следующие предложения:
1) все студенты математических факультетов педвузов должны изучать математическую логику;
2) 7 × 7 = 47;
3) 7 × 7 = ? (Чему равно 7 × 7?);
4) 7 × х = 21.

считают истинным тогда и только тогда, когда истинны оба высказывания A и B. (От лат. conjunctio - «соединение, союз, связь», АВ).
Дизъюнкцией высказываний A и B называют высказывание «A или B». Его считают истинным тогда и только тогда, когда истинно по крайней мере одно из высказываний A и B.( От лат. disjunctio - «разъединение, разобщение». АВ)
Отметим, что союз или в дизъюнкции высказываний носит не взаимоисключающий характер
.

B». Его считают ложным тогда и только тогда, когда высказывание A истинно, а высказывание B ложно. При этом высказывание A называют посылкой, а B – заключением. Обозначают импликацию «Если A, то B» так: A → B. (От лат. implico - «тесно связывать»)
Отрицанием высказывания A называют высказывание «Неверно, что A (не A)». Это высказывание считают истинным тогда и только тогда, когда высказывание A ложно . ¬А
Операция эквиваленции А~В определяется так: А~В истинно т. и т. т., когда А и В или оба истинны или оба ложны.

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

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