Логические операции Выполнил учитель информатики АСОШ №2: Шарипов И.И.

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