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