Основные логические связи. Отрицание (логическая связь «не»)

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

В естественном языке (при вербальном описании явления) роль связок при составлении сложных предложений из простых играют  грамматические средства: союзы «и», «или», «не»; слова «если …, то», «либо … либо» (в разделительном смысле), «тогда и только тогда, когда» и др. В логике высказываний логические связки, используемые для составления сложных высказываний, обязаны быть определенными точно. Рассмотрим основные логические связки.

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

Табл. 2. 1

Рис. 2.1 Условное обозначение инвертора

Рис. 2.2

Рис. 2.3 Диаграмма Венна (отрицание)

Отрицание является простейшей логической операцией и единственной логической операцией, выполняемой над одним аргументом.

Заметим, что последовательное выполнение двух операций отрицания Ā приводит к исходному значению А.

 

Логика - доступно для всех