![]() |
Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | |
|
Будем называть высказывание простым (элементарным), если оно рассматривается нами как некое неделимое целое (аналогично атому или элементу множества). Обычно к ним относят высказывания, не содержащие логических связок. Сложным (составным) называется высказывание, составленное из простых с помощью логических связок.
В естественном языке (при вербальном описании явления) роль связок при составлении сложных предложений из простых играют грамматические средства: союзы "и", "или", "не"; слова "если..., то", "либо... либо" (в разделительном смысле), "тогда и только тогда, когда" и др. В логике высказываний логические связки, используемые для составления сложных высказываний, обязаны быть определенными точно. Рассмотрим основные логические связки.
Отрицание (логическая связь "не")
Записывается Р=Ā или в виде P= A (Читается "Р есть не А"). Отрицанием называется сложное логическое высказывание Р, которое истинно, если А ложно и наоборот. Эта логическая связь может быть проиллюстрирована табл. 3.1, в которой показаны значения истинности сложного высказывания Р в зависимости от значения истинности составляющего его простого высказывания А. Логический элемент «не» в схемах управления часто называется таблица 2.1 схемах управления, часто называется инвертором. Условное обозначение инвертора показано на рис. 2.1. Также ниже (рис. 2.2) приведена диаграмма Венна.
Табл. 2. 1
Рис. 2.1 Условное обозначение инвертора
Рис. 2.2
Рис. 2.3 Диаграмма Венна (отрицание)
Отрицание является простейшей логической операцией и единственной логической операцией, выполняемой над одним аргументом.
Заметим, что последовательное выполнение двух операций отрицания Ā приводит к исходному значению А.
Дата публикования: 2015-03-26; Прочитано: 758 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!