Свойства операций сравнения
1. Операции нестрогого включения и равенства обладают рефлексивностью: А Í А; А = А.
2. Операции нестрогого, строгого включений и равенства обладают транзитивностью:
а) если(А Í В), (В Í С), то А Í С;
б) если(А Ì В), (В Ì С), то А Ì С;
в) если (А = В), (В = С), то А = С.
3. Интуитивный принцип объемности. Если выполняется
(А Í В) и (ВÍ А), то справедливо: А=В.
Результатом выполнения операций сравнения является логическое значение — «истина» либо «ложь». Например, результат выражения А = А всегда истинен, выражение А Ì В может быть либо ложным, либо истинным — в зависимости от рассматриваемых множеств А, В.В этом заключается принципиальное отличие операций сравнения от предметных операций, результатом выполнения которых всегда является множество.
Определение. Операции со значениями истинности, обратными к операциям сравнения (= ; Í ; Ì), назовем отрицаниями операций сравнения.
Например, операция ( ¹ ) в выражении А ¹ В означает, что множества А и В состоят не из одинаковых элементов, операция ( Ë ) в выражении А Ë В означает, что отсутствует строгое включение множества А в В.
Указанные операции можно рассматривать как сокращенную запись двухместных предикатов, где аргументами являются множества, а результат — логическое значение.
Для строгого доказательства включения либо равенства составных множеств, заданных формулами, можно использовать таблицы пересечений или полные диаграммы пересечений. При этом справедливы три следующих правила.
Правило 1. Если векторы включений у формул F1 и F2совпадают, то всегда F1 = F2.
Правило 2. Если все элементарные пересечения формулы F1 содержатся в элементарных пересечениях формулы F2, то в общем случае F1 нестрого входит в F2 (F1 Í F2). Наличие строгого включения F1 в F2либо равенство F1 и F2 зависит от конкретных рассматриваемых множеств.
Правило 3. Если векторы включений формул составных множеств индифферентны – не совпадают и ни один из них не входит в другой, то никаких предварительных заключений при сравнении конкретных примеров данных составных множеств по их формулам делать нельзя.
Пример 1.Сравнить составныемножества, заданные в Примере 2 параграфа 1.5 на простых множествах А и В: 1) F1 = Ø(АÈВ), 2) F2 = Ø(АDВ), 3) F3 = АÇВÈØ(АÈВ).
Решение. Так как векторы включений для формул F2 и F3 совпадают, то составные множества, задаваемые ими, всегда равны: F2 = F3 . Вектор включений F1 строго входит в вектор для F2 , поэтому в общем случае F1 Í F2. С использованием диаграмм Венна несложно показать, что если АÇВ ≠Ø, то имеет место строгое включение F1 Ì F2. При АÇВ =Ø- равенство F1 = F2.
Пример 2.Рассмотрим составныемножества, заданные формулами F1 = АDВ и F2 = Ø А. Их векторы включений (0110) и (1100)индифферентны. Как несложно проверить, при АÌ В Ì U выполняется строгое включение F1 = В\А Ì F2, поскольку пересечение А\В, соответствующее третьей компоненте векторов, в этом случае пусто. При А=U ≠Øполучим: F1 = АDВ=Ø В, F2 = Ø А =Ø. Следовательно, в данном случае F2Ì F1.
ЗАДАЧИ
1. Сравнить пары составных множеств, заданных следующими формулами:
а) F1 = АDВ и F2 = СÇ(АÈВ),
б) F1 = АÈ ВÇ С и F2 =Ø(C\(АÈВ)),
в) F1 = Ø(АÈ(ВDС))и F2 = ВÇC.
Дата добавления: 2015-10-05; просмотров: 1146;