Диаграмма Эйлера
Материал из ALL
Версия от 05:36, 23 февраля 2018;
Logic-samara
(
обсуждение
|
вклад
)
(
разн.
)
← Предыдущая
|
Текущая версия
(
разн.
) |
Следующая →
(
разн.
)
Перейти к:
навигация
,
поиск
Диаграмма Эйлера (круги Эйлера)
— это схема отношений множеств.
Содержание
1
Обозначения:
2
Виды диаграмм:
2.1
Для одного множества
2.2
Для двух множеств
2.3
Для трёх множеств
3
Другие понятия:
4
Логический закон
5
Логические функции:
5.1
отрицание
5.2
дизъюнкция
5.3
конъюнкция
5.4
разделительная дизъюнкция
5.5
импликация
5.6
обратная импликация
5.7
эквиваленция
5.8
стрелка Пирса
5.9
штрих Шеффера
5.10
полином Жегалкина
6
Нормальные формы:
6.1
совершенная дизъюнктивная нормальная форма
6.2
совершенная конъюнктивная нормальная форма
6.3
минимальная дизъюнктивная нормальная форма
6.4
минимальная конъюнктивная нормальная форма
6.5
алгебраическая нормальная форма
7
Таблица истинности
8
Карта Карно
9
Трёхмерная карта Карно
10
Предикат
11
Секвенции
12
Суждение
13
Умозаключения:
13.1
превращение
13.2
обращение
13.3
противопоставление предикату
13.4
противопоставление субъекту
13.5
чисто условные умозаключения
13.6
силлогизм
13.7
условно-категорические умозаключения
13.8
разделительно-категорические умозаключения
13.9
эквивалентно-категорические умозаключения
14
Диаграммы:
14.1
диаграмма Венна
14.2
диаграмма Эйлера
15
Ссылки
Обозначения:
A, B, C
— множества;
— дополнения множеств;
— пересечения множеств;
U
— универсальное множество.
Виды диаграмм:
Для одного множества
Для двух множеств
Для трёх множеств
Другие понятия:
Логический закон
Логические функции:
отрицание
дизъюнкция
конъюнкция
разделительная дизъюнкция
импликация
обратная импликация
эквиваленция
стрелка Пирса
штрих Шеффера
полином Жегалкина
Нормальные формы:
совершенная дизъюнктивная нормальная форма
совершенная конъюнктивная нормальная форма
минимальная дизъюнктивная нормальная форма
минимальная конъюнктивная нормальная форма
алгебраическая нормальная форма
Таблица истинности
Карта Карно
Трёхмерная карта Карно
Предикат
Секвенции
Суждение
Умозаключения:
превращение
обращение
противопоставление предикату
противопоставление субъекту
чисто условные умозаключения
силлогизм
условно-категорические умозаключения
разделительно-категорические умозаключения
эквивалентно-категорические умозаключения
Диаграммы:
диаграмма Венна
диаграмма Эйлера
Ссылки
Участник:Logic-samara
Категории
:
Логика
Теория вероятностей
Навигация
Персональные инструменты
Войти
Пространства имён
Статья
Обсуждение
Варианты
Просмотры
Читать
Просмотр
История
Ещё
Поиск
Навигация
Заглавная страница
Случайная статья
Основы
Новые страницы
Вече
Статистика
Свежие правки
Инструменты
Ссылки сюда
Связанные правки
Спецстраницы
Версия для печати
Постоянная ссылка
Сведения о странице