Шаблон:Список ЛП — различия между версиями
| (не показано 5 промежуточных версий этого же участника) | |||
| Строка 4: | Строка 4: | ||
*[[логический закон]]; | *[[логический закон]]; | ||
*[[логическая функция]]: | *[[логическая функция]]: | ||
| − | + | #[[совершенная дизъюнктивная нормальная форма]]; | |
| − | + | #[[совершенная конъюнктивная нормальная форма]]; | |
| − | + | #[[минимальная дизъюнктивная нормальная форма]]; | |
| − | + | #[[минимальная конъюнктивная нормальная форма]]; | |
| − | + | #[[алгебраическая нормальная форма]]; | |
*[[таблица истинности]]; | *[[таблица истинности]]; | ||
*[[карта Карно]]; | *[[карта Карно]]; | ||
| Строка 15: | Строка 15: | ||
*[[предикат]]; | *[[предикат]]; | ||
*[[секвенции]]; | *[[секвенции]]; | ||
| − | |||
*[[суждение]]; | *[[суждение]]; | ||
| − | *[[ | + | *[[Умозаключение|умозаключения]]: |
| + | #[[Превращение|превращения]]; | ||
| + | #[[Обращение|обращения]]; | ||
| + | #[[Противопоставление предикату|противопоставления предикату]]; | ||
| + | #[[Противопоставление субъекту|противопоставления субъекту]]; | ||
| + | #[[Чисто условные умозаключения|чисто условные]]; | ||
| + | #[[Силлогизм|силогизмы]]; | ||
| + | #[[Условно-категорические умозаключения|условно-категорические]]; | ||
| + | #[[Разделительно-категорические умозаключения|разделительно-категорические]]; | ||
| + | #[[Эквивалентно-категорические умозаключения|эквивалентно-категорические]]. | ||
</div> | </div> | ||
</div> | </div> | ||
</div> | </div> | ||
<noinclude>[[Категория:Шаблоны:Списки]]</noinclude> | <noinclude>[[Категория:Шаблоны:Списки]]</noinclude> | ||
Текущая версия на 07:21, 29 января 2023
- совершенная дизъюнктивная нормальная форма;
- совершенная конъюнктивная нормальная форма;
- минимальная дизъюнктивная нормальная форма;
- минимальная конъюнктивная нормальная форма;
- алгебраическая нормальная форма;
