- Логические связки
-
В логике логическими операциями называют действия, вследствие которых порождаются новые понятия, возможно с использованием уже существующих. В более узком, формализованном смысле, понятие логической операции используется в математической логике и программировании.
Содержание
Формальная логика
Логические операции с понятиями — такие мыслительные действия, результатом которых является изменение содержания или объема понятий, а также образование новых понятий.
К операциям, которые связаны преимущественно с изменением содержания понятий, относятся:
- отрицание;
- ограничение ;
- обобщение ;
- деление.
К операциям, которые связаны преимущественно с объемами понятий, относятся:
Данные операции могут быть записаны математически с помощью теории множеств.
Переход же к математической логике связан с понятием суждений и установлением операций над ними с целью получения сложных суждений.
Математическая логика
В математической логике логические операции называют логическими связками. В качестве основных обычно называют конъюнкцию (
или &), дизъюнкцию (
), импликацию (
), отрицание (
). В смысле классической логики логические связки могут быть определены через алгебру логики.
Программирование
Логические операции в программировании как правило служат для управления программой в зависимости от значения каких-то логических выражений или переменных. Наиболее известны конъюнкция (&&), дизъюнкция (||), отрицание (!). Их нередко путают с битовыми операциями, хотя это разные вещи. Например, следующий код на языке C:
if (action_required && some_condition()) { /* какие-то действия */ }
не выполнит вызов подпрограммы some_condition(), если значение логической переменной action_required ложно. При такой операции второй аргумент операции && вообще не будет вычислен.
См. также
Ссылки
Логика Формальная Логические операции с понятиями
Изменение содержания понятия: отрицание • ограничение • обобщение • деление
Типы: Многозначная логика
Изменение объёма понятия: сложение • умножение • вычитаниеМатематическая
(теоретическая, символическая)Логические связки (операции) над высказываниями
Высказывание - построение над множеством {B,
2 константы: 0 • 1,
,
, 0, 1}
В - непустое множество, над элементами которого определены три операции: конъюнкция (или &,бинарная) • дизъюнкция (
,бинарная) • отрицание (
,унарная)
Прочее импликация ( )
Wikimedia Foundation. 2010.