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