Вычитание классов

Рассмотрим два множества (класса) А и В, из которых В может и не быть частью А. Разностью множеств (классов) А и В на­зывается множество тех элементов класса А, которые не являют­ся элементами класса В. Разность обозначается А —В.

Могут встретиться следующие пять случаев (если классы А и В не пусты и не универсальны).

1-й случай (рис. 23). Класс А включает в себя класс В. Тогда разностью А — В будет заштрихованная часть А, т. е. множество тех элементов, которые не суть В. Например, если мы из множе­ства звуков русского языка (А) вычтем множество гласных звуков (В), то получим множество согласных звуков, изображенное на чертеже в виде заштрихованного кольца.

2-й случай (рис. 24). Разностью двух перекрещивающихся классов будет заштрихованная часть А. Например, разность мно­жеств «рабочий» (А) и «рационализатор» (В) даст множество рабочих, которые не являются рационализаторами.

3-й случай (рис. 25). Если класс А полностью включен в класс В и класс В полностью включен в класс А, то эти классы (множества) равны (тождественны). Тогда разность А -В даст пустой, или нулевой, класс, т. е. класс, в котором нет ни одного элемента. Например, если мы из класса «сосна» вычтем класс «сосна», то разность А—В будет равна пустому классу.

4-й случай (рис. 26). Класс А и класс В не имеют общих элементов.

Тогда разность А—В=А, так как всякий элемент класса А не является элементом класса В. Например, разность класса «стол» (А) и класса «стул» (В) равна классу «стол» (А).

В результате «вычитания» классов, соответствующих поняти­ям, находящимся в отношении противоположности [«низкий дом» (А), «высокий дом» (В)] или противоречия [«одушевленный предмет» (А), «неодушевленный предмет» (В)], разность А— В также равна А (рис. 27, 28).

5-й случай (рис. 29). Если объем класса А меньше объема класса В, то в результате вычитания получим пустой класс, так как нет элементов класса А, которые не являлись бы элементами класса В. Например, разность класса «личное местоимение» (А) и «местоимение» (В) дает пустой класс.

Для операции вычитания классов справедливы следующие законы:

В интерпретации логических алгебр посредством классов за­пись обозначает включение класса А в класс В; обозна­чает эквивалентность классов (А тогда и только тогда, когда В).