Шаблон:Список ЛП — различия между версиями
| Строка 19: | Строка 19: | ||
#[[Чисто условные умозаключения|чисто условные]]; | #[[Чисто условные умозаключения|чисто условные]]; | ||
#[[Силлогизм|силогизмы]]; | #[[Силлогизм|силогизмы]]; | ||
| + | #[[Условно-категорические умозаключения|условно-категорические]]; | ||
#[[Разделительно-категорические умозаключения|разделительно-категорические]]; | #[[Разделительно-категорические умозаключения|разделительно-категорические]]; | ||
| − | |||
#[[Эквивалентные умозаключения|эквивалентные]]. | #[[Эквивалентные умозаключения|эквивалентные]]. | ||
</div> | </div> | ||
Версия 10:29, 28 января 2023
- совершенная дизъюнктивная нормальная форма;
- совершенная конъюнктивная нормальная форма;
- минимальная дизъюнктивная нормальная форма;
- минимальная конъюнктивная нормальная форма;
- алгебраическая нормальная форма;
