Логические операции Выполнил учитель информатики АСОШ №2: Шарипов И.И. В логике логическими операциями называют действия, вследствие которых порождаются новые понятия, возможно с использованием уже существующих. В более узком, формализованном смысле, понятие логической операции используется в математической логике и программировании. Формальная логика Логические операции с понятиями — такие мыслительные действия, результатом которых является изменение содержания или объёма понятий, а также образование новых понятий. К операциям, которые связаны преимущественно с изменением содержания понятий, относятся: • отрицание; • ограничение; • обобщение; • деление. К операциям, которые связаны преимущественно с объёмами понятий, относятся: • сложение; • умножение; • вычитание. • Данные операции могут быть записаны математически с помощью теории множеств. • Переход же к математической логике связан с понятием суждений и установлением операций над ними с целью получения сложных суждений. Математическая логика • Логическая операция (логический оператор, логическая связка, пропозициональная связка) — операция над высказываниями, позволяющая составлять новые высказывания путем соединения более простых. • В качестве основных обычно называют конъюнкцию, дизъюнкцию, импликацию, отрицание. В смысле классической логики логические связки могут быть определены через алгебру логики. Программирование Логическая операция — в программировании операция над выражениями логического (булевского) типа, соответствующая некоторой операции над высказываниями в алгебре логики. Как и высказывания, логические выражения могут принимать одно из двух истинностных значений — «истинно» или «ложно». Логические операции служат для получения сложных логических выражений из более простых. В свою очередь, логические выражения обычно используются как условия для управления последовательностью выполнения программы.