Высказывания и логические операции над ними. Повествовательные предложения.
Логическая операция — в программировании операция над выражениями логического (булевского) типа, соответствующая некоторой операции над высказываниями в алгебре логики. Как и высказывания, логические выражения могут принимать одно из двух истинностных значений — «истинно» или «ложно». Логические операции служат для получения сложных логических выражений из более простых. В свою очередь, логические выражения обычно используются как условия для управления последовательностью выполнения программы.
Логические операции с понятиями — такие мыслительные действия, результатом которых является изменение содержания или объёма понятий, а также образование новых понятий.
К операциям, которые связаны преимущественно с изменением содержания понятий, относятся:
отрицание;
ограничение ;
обобщение ;
деление.
К операциям, которые связаны преимущественно с объёмами понятий, относятся:
сложение;
умножение;
вычитание.
Данные операции могут быть записаны математически с помощью теории множеств.
Переход же к математической логике связан с понятием суждений и установлением операций над ними с целью получения сложных суждений.
Высказывание в математике -это повествовательное предложение, относительно которого можно сказать истинно оно или ложно.
Основные операции над множествами.
Бинарные операции.
Ниже перечислены основные операции над множествами:
пересечение:
объединение:
Если множества A и B не пересекаются: , то их объединение обозначают также: .
разность (дополнение):
симметрическая разность:
Декартово или прямое произведение:
Для лучшего понимания смысла этих операций используются диаграммы Эйлера — Венна, на которых представлены результаты операций над геометрическими фигурами как множествами точек.
Унарные операции
Абсолютное дополнение:
Операция дополнения подразумевает некоторый универсум (универсальное множество U, которое содержит A):
Относительным же дополнением называется А\В (см.выше):
Мощность множества:
| A |
Результатом является кардинальное число (для конечных множеств — натуральное).
Множество всех подмножеств (булеан):
Обозначение происходит из того, что в случае конечных множеств.
Сначала выполняются операции дополнения, затем пересечения, объединения и разности, которые имеют одинаковый приоритет. Последовательность выполнения операций может быть изменена скобками.
Декартово произведение множеств.
Прямое или декартово произведение множеств — множество, элементами которого являются всевозможные упорядоченные пары элементов исходных двух множеств. Данное понятие употребляется не только в теории множеств, но также в алгебре, топологии и прочих разделах математики благодаря тому, что прямое произведение часто наследует структуры (алгебраические, топологические и т. д.), существующие на перемножаемых множествах.
Числовые множества. Принадлежность.
Множества, элементами которых являются числа, называются числовыми. Примерами числовых множеств являются:
N={1; 2; 3; ...; n; ... } — множество натуральных чисел;
Zo={0; 1; 2; ...; n; ... } — множество целых неотрицательных чисел;
Z={0; ±1; ±2; ...; ±n; ...} — множество целых чисел;
Q={m/n} — множество рациональных чисел.
R—множество действительных чисел.