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

Диаграмма Венна — это схема, представленных в виде геометрических фигур, событий или логических выражений из отрицаний и конъюнкций.

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

• A, B, C — события или логические высказывания;
• — отрицания событий или логических высказываний;
• — конъюнкции событий или логических высказываний;
• U — универсальное событие, включающее все события.

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

Для одного события

Для двух событий

Для трёх событий

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

• Логический закон;
• Логические функции;
• Нормальные формы:
  • совершенная дизъюнктивная нормальная форма;
  • совершенная конъюнктивная нормальная форма;
  • минимальная дизъюнктивная нормальная форма;
  • минимальная конъюнктивная нормальная форма;
  • алгебраическая нормальная форма;
• Таблица истинности;
• Карта Карно;
• Трёхмерная карта Карно;
• Предикат;
• Исчисление высказываний;
• Специальное исчисление высказываний;
• Секвенции;
• Суждение;
• Умозаключения.

Ссылки

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