Домой
Случайная
Список наблюдения
Настройки
Представиться системе
Описание ALL
Отказ от ответственности
Открыть главное меню
Последние изменения на 11:20 3 февраля 2018
Диаграмма Эйлера
Версия от 11:20, 3 февраля 2018;
Logic-samara
(
обсуждение
|
вклад
)
(
разн.
)
← Предыдущая
|
Текущая версия
(
разн.
) |
Следующая →
(
разн.
)
Диаграмма Эйлера (круги Эйлера)
— это схема отношений множеств.
Обозначения:
A, B, C
— множества;
— дополнения множеств;
— пересечения множеств;
U
— универсальное множество.
Виды диаграмм:
Для одного множества
Для двух множеств
Для трёх множеств
Другие понятия:
Логический закон
Логические функции:
отрицание
дизъюнкция
конъюнкция
разделительная дизъюнкция
импликация
обратная импликация
эквиваленция
стрелка Пирса
штрих Шеффера
полином Жегалкина
Нормальные формы:
совершенная дизъюнктивная нормальная форма
совершенная конъюнктивная нормальная форма
минимальная дизъюнктивная нормальная форма
минимальная конъюнктивная нормальная форма
алгебраическая нормальная форма
Таблица истинности
Карта Карно
Трёхмерная карта Карно
Предикат
Секвенции
Суждение
Умозаключения:
превращение
обращение
противопоставление предикату
противопоставление субъекту
чисто условные умозаключения
силлогизм
условно-категорические умозаключения
разделительно-категорические умозаключения
эквивалентно-категорические умозаключения
Диаграммы:
диаграмма Венна
диаграмма Эйлера
Ссылки
Участник:Logic-samara