Шаблон:Список ЛПон — различия между версиями
Материал из ALL
(Новая страница: «=== Логический закон === === Логическая функция === === Таблица истинности === === Карта Ка…») |
м |
||
Строка 1: | Строка 1: | ||
− | + | == [[Логический закон]] == | |
− | + | == [[Логическая функция|Логические функции:]] == | |
− | === [[ | + | === [[отрицание]] === |
− | === [[ | + | === [[дизъюнкция]] === |
− | === [[Трёхмерная карта Карно]] === | + | === [[конъюнкция]] === |
− | === [[ | + | === [[разделительная дизъюнкция]] === |
− | === [[ | + | === [[импликация]] === |
− | === [[ | + | === [[обратная импликация]] === |
− | === [[ | + | === [[эквиваленция]] === |
− | === [[ | + | === [[стрелка Пирса]] === |
− | === [[ | + | === [[штрих Шеффера]] === |
− | === [[ | + | === [[полином Жегалкина]] === |
− | === [[ | + | == Нормальные формы: == |
+ | === [[совершенная дизъюнктивная нормальная форма]] === | ||
+ | === [[совершенная конъюнктивная нормальная форма]] === | ||
+ | === [[минимальная дизъюнктивная нормальная форма]] === | ||
+ | === [[минимальная конъюнктивная нормальная форма]] === | ||
+ | === [[алгебраическая нормальная форма]] === | ||
+ | == [[Таблица истинности]] == | ||
+ | == [[Карта Карно]] == | ||
+ | == [[Трёхмерная карта Карно]] == | ||
+ | == [[Предикат]] == | ||
+ | == [[Секвенции]] == | ||
+ | == [[Суждение]] == | ||
+ | == [[Умозаключение|Умозаключения:]] == | ||
+ | === [[превращение]] === | ||
+ | === [[обращение]] === | ||
+ | === [[противопоставление предикату]] === | ||
+ | === [[противопоставление субъекту]] === | ||
+ | === [[чисто условные умозаключения]] === | ||
+ | === [[силлогизм]] === | ||
+ | === [[условно-категорические умозаключения]] === | ||
+ | === [[разделительно-категорические умозаключения]] === | ||
+ | === [[эквивалентно-категорические умозаключения]] === | ||
+ | == Диаграммы: == | ||
+ | === [[диаграмма Венна]] === | ||
+ | === [[диаграмма Эйлера]] === | ||
<noinclude>[[Категория:Шаблоны:Списки]]</noinclude> | <noinclude>[[Категория:Шаблоны:Списки]]</noinclude> |