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

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

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

• A, B, C — множества;
• Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
  — дополнения множеств;
• Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
  — пересечения множеств;
• U — универсальное множество.

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

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

Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения

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

Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения

Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения

Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения

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

Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения

Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения

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

• логический закон;
• логическая функция:

1. совершенная дизъюнктивная нормальная форма;
2. совершенная конъюнктивная нормальная форма;
3. минимальная дизъюнктивная нормальная форма;
4. минимальная конъюнктивная нормальная форма;
5. алгебраическая нормальная форма;

• таблица истинности;
• карта Карно;
• трёхмерная карта Карно;
• полином Жегалкина;
• предикат;
• секвенции;
• суждение;
• умозаключения:

1. превращения;
2. обращения;
3. противопоставления предикату;
4. противопоставления субъекту;
5. чисто условные;
6. силогизмы;
7. условно-категорические;
8. разделительно-категорические;
9. эквивалентно-категорические.

Ссылки

• Участник:Logic-samara