Введение
Высказывания бывают простые и сложные. Простые высказывания нельзя разделить на более мелкие высказывания. Примеры простых высказываний: «Сейчас идёт дождь»; «Форточка открыта». Сложные (составные) высказывания строятся из простых с помощью логических связок (операций) «И», «ИЛИ», «НЕ», «если..., то», «тогда и только тогда».
В алгебре логики высказывания обычно обозначаются латинскими буквами. Таким образом, мы уходим от конкретного содержания высказываний, нас интересует только их истинность или ложность. Например, можно обозначить буквой А высказывание «Сейчас идет дождь», а буквой В — высказывание «Форточка открыта». Так как высказывания могут быть истинными или ложными, введённые символы А и В можно рассматривать как логические переменные, которые могут принимать два возможных значения: «ложь» (0) и «истина» (1). Из простых высказываний строятся сложные высказывания:
НЕ А: «Сейчас нет дождя».
НЕ В: «Форточка закрыта».
А И В: «Сейчас идёт дождь и открыта форточка».
А ИЛИ В: «Сейчас идёт дождь или открыта форточка».
ЕСЛИ А, ТО В: «Если сейчас идёт дождь, то форточка открыта».
Кроме этих высказываний есть ещё и другие, которые можно получить из двух исходных. С некоторыми из них мы также познакомимся.
Операции «НЕ», «И» и «ИЛИ» используются чаще других. Оказывается, с их помощью можно выразить любую логическую операцию, поэтому эти три операции считают основными, базовыми.
Следующая страница Операция «НЕ»