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