Cтраница 1
Круги Эйлера делают очевидной эквивалентность общих суждений соответствующим импликативным связям второго ранга. [1]
Аналогично, круги Эйлера на рис. 5.1 позволяют предположить, что имеется 24 16 различных булевых функций от двух переменных; то же подсказывает таблица из 5.1. Так оно и есть. [2]
Остальные варианты кругов Эйлера являются частными случаями вышеприведенной схемы. [3]
С помощью кругов Эйлера становится наглядной транзитивность отношения включения, доказанная выше: если А а В и. [4]
Обращаясь к кругам Эйлера, которые соответствуют переменным X и У, ( фиг. [5]
Как мы видели, круги Эйлера возникают в традиционной силлогистике для ее нужд; к становлению математической логики они не имеют никакого отношения или весьма отдаленное. Диграммы же Венна создаются для обслуживания математической логики, и лежащая в основе их идея - идея разложения на конституенты - является одной из центральных в алгебре логики и вряд ли могла бы быть выдвинута без связи с этой последней. [6]
Графическая интерпретация с помощью кругов Эйлера легко обнаруживала неправильные модусы без обращения к более сложному аппарату кванторов. [7]
Рассмотрим представление разности множеств кругами Эйлера. [8]
Рассмотрим представление пересечения двух множеств кругами Эйлера. [9]
![]() |
Способы представления упорядоченных отношений. [10] |
Первый способ связан с модификацией представления мографа кругами Эйлера. Для указания номера роли, которую играет объект в отношении, необходимо соединить вершину, представляющую собой объект в мографе, с кругом Эйлера, представляющим собой слово, столькими линиями, каков номер роли. [11]
На рис. 4.1 видно, как при пересечении круги Эйлера образуют четыре области, разбивая тем самым множество всех предметов на четыре части. [12]
Метод диаграмм Венна обладает большим преимуществом перед методом кругов Эйлера. [13]
Эти операции могут быть наглядно представлены с помощью кругов Эйлера. Так, на рис. 1.1 множеству MI соответствует область с горизонтальной штриховкой, а множеству Мг - область с вертикальной штриховкой. На рис. 1.2 - 1.4 заштрихованы соответственно объединение, пересечение и разность этих множеств. [14]
Логическое сложение можно представить геометрически с помощью так называемых кругов Эйлера, соответствующих переменным X и 7 ( фиг. [15]