Будем называть высказывание простым (элементарным), если оно рассматривается нами как некое неделимое целое (аналогично атому или элементу множества). Обычно к ним относят высказывания, не содержащие логических связок. Сложным (составным) называется высказывание, составленное из простых с помощью логических связок.
В естественном языке (при вербальном описании явления) роль связок при составлении сложных предложений из простых играют грамматические средства: союзы «и», «или», «не»; слова «если …, то», «либо … либо» (в разделительном смысле), «тогда и только тогда, когда» и др. В логике высказываний логические связки, используемые для составления сложных высказываний, обязаны быть определенными точно. Рассмотрим основные логические связки.
Записывается Р=Ā или в виде P= ¬A (Читается «Р есть не А»). Отрицанием называется сложное логическое высказывание Р, которое истинно, если А ложно и наоборот. Эта логическая связь может быть проиллюстрирована табл. 3.1, в которой показаны значения истинности сложного высказывания Р в зависимости от значения истинности составляющего его простого высказывания А. Логический элемент «не» в схемах управления часто называется таблица 2.1 схемах управления, часто называется инвертором. Условное обозначение инвертора показано на рис. 2.1. Также ниже (рис. 2.2) приведена диаграмма Венна.
Табл. 2. 1
Рис. 2.1 Условное обозначение инвертора
Рис. 2.2
Рис. 2.3 Диаграмма Венна (отрицание)
Отрицание является простейшей логической операцией и единственной логической операцией, выполняемой над одним аргументом.
Заметим, что последовательное выполнение двух операций отрицания Ā приводит к исходному значению А.