Логическая операция

Материал из Википедии — свободной энциклопедии

В логике логическими операциями называют действия, вследствие которых порождаются новые понятия, возможно с использованием уже существующих. В более узком, формализованном смысле, понятие логической операции используется в математической логике и программировании.

[править] Формальная логика

Логические операции с понятиями — такие мыслительные действия, результатом которых является изменение содержания или объема понятий, а также образование новых понятий.

К операциям, которые связаны преимущественно с изменением содержания понятий, относятся:

• отрицание;
• ограничение ;
• обобщение ;
• деление.

К операциям, которые связаны преимущественно с объемами понятий, относятся:

• сложение;
• умножение;
• вычитание.

Данные операции могут быть записаны математически с помощью теории множеств.

Переход же к математической логике связан с понятием суждений и установлением операций над ними с целью получения сложных суждений.

[править] Математическая логика

В математической логике логические операции называют логическими связками. В качестве основных обычно называют конъюнкцию ( или &), дизъюнкцию (), импликацию (), отрицание (). В смысле классической логики логические связки могут быть определены через алгебру логики.

[править] Программирование

Логические операции в программировании как правило служат для управления программой в зависимости от значения каких-то логических выражений или переменных. Наиболее известны конъюнкция (&&), дизъюнкция (||), отрицание (!). Их нередко путают с битовыми операциями, хотя это разные вещи. Например, следующий код на языке C:

if (action_required && some_condition()) 
{
    /* какие-то действия */
}

не выполнит вызов подпрограммы some_condition(), если значение логической переменной action_required ложно. При такой операции второй аргумент операции && вообще не будет вычислен.

[править] См. также

• Логическое выражение
• Умозаключение
• Логический вывод

[править] Ссылки

п·о·р Логика
Формальная	Логические операции с понятиями Изменение содержания понятия: отрицание • ограничение • обобщение • деление Изменение объёма понятия: сложение • умножение • вычитание Типы: Многозначная логика
Математическая (теоретическая, символическая)	Логические связки (операции) над высказываниями Высказывание - построение над множеством {B, , , , 0, 1} В - непустое множество, над элементами которого определены три операции: конъюнкция ( или &,бинарная) • дизъюнкция (,бинарная) • отрицание (,унарная) 2 константы: 0 • 1
Прочее	импликация ()

Это незавершённая статья по логике. Вы можете помочь проекту, исправив и дополнив её.

Это незавершённая статья о компьютерах. Вы можете помочь проекту, исправив и дополнив её.