Диаграмма Эйлера — различия между версиями

Материал из ALL
Перейти к: навигация, поиск
м
м
Строка 3: Строка 3:
 
*'''A, B, C''' — множества;
 
*'''A, B, C''' — множества;
 
*[[файл:ОТР01.JPG]] — дополнения множеств;
 
*[[файл:ОТР01.JPG]] — дополнения множеств;
*[[файл:КОНЪ01.JPG]] — пересечение множеств;
+
*[[файл:КОНЪ01.JPG]] — пересечения множеств;
 
*'''U''' — универсальное множество.  
 
*'''U''' — универсальное множество.  
 
== Виды диаграмм: ==  
 
== Виды диаграмм: ==  

Версия 11:20, 3 февраля 2018

Диаграмма Эйлера (круги Эйлера) — это схема отношений множеств.

Содержание

Обозначения:

  • A, B, C — множества;
  • ОТР01.JPG — дополнения множеств;
  • КОНЪ01.JPG — пересечения множеств;
  • U — универсальное множество.

Виды диаграмм:

Для одного множества

ДВ01.JPG

Для двух множеств

ДВ02.JPG ДЭ01.JPG ДЭ02.JPG

Для трёх множеств

ДВ03.JPG

Другие понятия:

Логический закон

Логические функции:

отрицание

дизъюнкция

конъюнкция

разделительная дизъюнкция

импликация

обратная импликация

эквиваленция

стрелка Пирса

штрих Шеффера

полином Жегалкина

Нормальные формы:

совершенная дизъюнктивная нормальная форма

совершенная конъюнктивная нормальная форма

минимальная дизъюнктивная нормальная форма

минимальная конъюнктивная нормальная форма

алгебраическая нормальная форма

Таблица истинности

Карта Карно

Трёхмерная карта Карно

Предикат

Секвенции

Суждение

Умозаключения:

превращение

обращение

противопоставление предикату

противопоставление субъекту

чисто условные умозаключения

силлогизм

условно-категорические умозаключения

разделительно-категорические умозаключения

эквивалентно-категорические умозаключения

Диаграммы:

диаграмма Венна

диаграмма Эйлера

Ссылки