Шаблон:Список ЛП — различия между версиями

Материал из Мегапедии
Перейти к: навигация, поиск
м
 
(не показано 7 промежуточных версий этого же участника)
Строка 2: Строка 2:
 
<div class="NavContent">
 
<div class="NavContent">
 
<div style="column-count:2">
 
<div style="column-count:2">
*[[логический закон]];
+
*'''[[Логический закон]];'''
*[[логическая функция]]:
+
*'''[[Логическая функция|Логические функции]];'''
 +
*'''Нормальные формы:'''
 
**[[совершенная дизъюнктивная нормальная форма]];
 
**[[совершенная дизъюнктивная нормальная форма]];
 
**[[совершенная конъюнктивная нормальная форма]];
 
**[[совершенная конъюнктивная нормальная форма]];
Строка 9: Строка 10:
 
**[[минимальная конъюнктивная нормальная форма]];
 
**[[минимальная конъюнктивная нормальная форма]];
 
**[[алгебраическая нормальная форма]];
 
**[[алгебраическая нормальная форма]];
*[[таблица истинности]];
+
*'''[[Таблица истинности]];'''
*[[карта Карно]];
+
*'''[[Карта Карно]];'''
*[[трёхмерная карта Карно]];
+
*'''[[Трёхмерная карта Карно]];'''
*[[полином Жегалкина]];
+
*'''[[Предикат]];'''
*[[предикат]];
+
*'''[[Исчисление высказываний]];'''
*[[секвенции]];
+
*'''[[Специальное исчисление высказываний]];'''
*[[суждение]];
+
*'''[[Секвенции]];'''
*[[Умозаключение|умозаключения]]:
+
*'''[[Суждение]];'''
**[[Чисто условные умозаключения]];
+
*'''[[Умозаключение|Умозаключения]].'''
**[[Силлогизм|силогизмы]];
 
**[[Разделительно-категорические умозаключения|разделительно-категорические]];
 
**[[Условно-категорические умозаключения|условно-категорические]];
 
**[[Эквивалентные умозаключения|эквивалентные]].
 
 
</div>
 
</div>
 
</div>
 
</div>
 
</div>
 
</div>
 
<noinclude>[[Категория:Шаблоны:Списки]]</noinclude>
 
<noinclude>[[Категория:Шаблоны:Списки]]</noinclude>

Текущая версия на 08:58, 2 апреля 2025