классов пересечение


классов пересечение
- логическая операция по нахождению общих для класса (множества) элементов. Так, П. к. студентов (A) и спортсменов (В) будет класс тех студентов, которые одновременно являются спортсменами. Результат может быть представлен в виде двух пересекающихся кругов (см. рис.), где заштрихованная часть будет представлять множество студентов, являющихся одновременно спортсменами (см.: Множеств теория). В логике чаще говорят не о П. к., а о пересечении понятий. При этом имеется в виду операция нахождения общей части объема понятий.

Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС. . 1997.

Смотреть что такое "классов пересечение" в других словарях:

  • Пересечение Классов (Множеств) — а логическая операнция по нахождению общих для класса (множества) элементов. Так, П. к. студентов (A) и спортсменов (В) будет класс тех студентов, которые одновременно являются спортсменами. Результат может быть представлен в виде двух… …   Словарь терминов логики

  • необратимое пересечение — 3.5.15 необратимое пересечение (закрепление порядка): Комбинирование индексов двух классов путем соединения их знаком двойного двоеточия (::). Примечание Результирующий индекс обозначает логическое пересечение (произведение) исходных классов, т.е …   Словарь-справочник терминов нормативно-технической документации

  • ЛОГИКА КЛАССОВ —         раздел логики, в котором рассматриваются классы (множества) предметов, задаваемые характеристическими свойствами этих предметов (элементов классов). В совр. логике Л. к. может пониматься как «алгебра множеств», т. е. интерпретироваться… …   Философская энциклопедия

  • Система аксиом фон Неймана — Cистема аксиом фон Неймана  Бернайса  Гёделя (NBG, аксиоматика Гёделя  Бернайса) в метаматематике  одна из основных аксиоматических теорий множеств. Эта система является расширением канонической теории Цермело  Френкеля с …   Википедия

  • ГОСТ 7.90-2007: Система стандартов по информации, библиотечному и издательскому делу. Универсальная десятичная классификация. Структура, правила ведения и индексирования — Терминология ГОСТ 7.90 2007: Система стандартов по информации, библиотечному и издательскому делу. Универсальная десятичная классификация. Структура, правила ведения и индексирования оригинал документа: 3.1.7 алфавитно предметный указатель… …   Словарь-справочник терминов нормативно-технической документации

  • АНТИЛОГИЗМ — (от греч. ἀντι – приставка, означающая противоположность, и λογισμός – разум, рассуждение) – формула логики, выражающая несовместимость посылок категорич. силлогизма с отрицанием его заключения. А. основан на свойстве логического следования,… …   Философская энциклопедия

  • Железные дороги — I I. История развития железных дорог. Ж. дорога, в том виде, в каком она существует теперь, изобретена не сразу. Три элемента, ее составляющие, рельсовый путь, перевозочные средства и двигательная сила прошли каждый отдельную стадию развития,… …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

  • МНОГОЗНАЧНАЯ ЛОГИКА — раздел математической логики, изучающий математич. модели логики высказываний. Эти модели отражают две основные черты последней множественность значений истинности высказываний и возможность построения новых более сложных высказываний из заданных …   Математическая энциклопедия

  • ДЕСКРИПТИВНАЯ ТЕОРИЯ МНОЖЕСТВ — раздел теории множеств, изучающий внутреннее строение множеств в зависимости ют тех операций, при помощи к рых эти множества могут быть построены из множеств сравнительно простой природы (напр., замкнутых или открытых подмножеств данного… …   Математическая энциклопедия

  • БУЛЬ — (Boole) Джордж (род. 2 нояб. 1815, Линкольн – ум. 8 дек. 1864, Корк) англ, математик и логик, создатель т. н. «алгебраической логики» (см. Логистика). Осн. произв.: «The mathematical analysis of logik», 1847; «An analysis of the laws of thought» …   Философская энциклопедия

Книги



Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.