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

  • Увеличить размер шрифта
  • Размер шрифта по умолчанию
  • Уменьшить размер шрифта

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

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

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

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

Табл. 2. 1

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

Рис. 2.2

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

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

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

 

Случайная новость