Шаблон:Список ЛПон — различия между версиями
Материал из ALL
(Новая страница: «=== Логический закон === === Логическая функция === === Таблица истинности === === Карта Ка…») |
м |
||
(не показаны 2 промежуточные версии этого же участника) | |||
Строка 1: | Строка 1: | ||
− | === [[Логический закон]] | + | <div class="NavFrame collapsed"> |
− | + | <div class="NavContent"> | |
− | + | <div style="column-count:2"> | |
− | + | *'''[[Логический закон]];''' | |
− | + | *'''[[Логическая функция|Логические функции]]:''' | |
− | + | #[[отрицание]]; | |
− | + | #[[дизъюнкция]]; | |
− | + | #[[конъюнкция]]; | |
− | + | #[[разделительная дизъюнкция]]; | |
− | + | #[[импликация]]; | |
− | + | #[[обратная импликация]]; | |
− | + | #[[эквиваленция]]; | |
− | + | #[[стрелка Пирса]]; | |
+ | #[[штрих Шеффера]]; | ||
+ | #[[полином Жегалкина]]; | ||
+ | *'''Нормальные формы:''' | ||
+ | #[[совершенная дизъюнктивная нормальная форма]]; | ||
+ | #[[совершенная конъюнктивная нормальная форма]]; | ||
+ | #[[минимальная дизъюнктивная нормальная форма]]; | ||
+ | #[[минимальная конъюнктивная нормальная форма]]; | ||
+ | #[[алгебраическая нормальная форма]]; | ||
+ | *'''[[Таблица истинности]]'''; | ||
+ | *'''[[Карта Карно]];''' | ||
+ | *'''[[Трёхмерная карта Карно]];''' | ||
+ | *'''[[Предикат]];''' | ||
+ | *'''[[Секвенции]];''' | ||
+ | *'''[[Суждение]];''' | ||
+ | *'''[[Умозаключение|Умозаключения]]''': | ||
+ | #[[Превращение|превращения]]; | ||
+ | #[[Обращение|обращения]]; | ||
+ | #[[Противопоставление предикату|противопоставления предикату]]; | ||
+ | #[[Противопоставление субъекту|противопоставления субъекту]]; | ||
+ | #[[Чисто условные умозаключения|чисто условные]]; | ||
+ | #[[Силлогизм|силлогизмы]]; | ||
+ | #[[Условно-категорические умозаключения|условно-категорические]]; | ||
+ | #[[Разделительно-категорические умозаключения|разделительно-категорические]]; | ||
+ | #[[Эквивалентно-категорические умозаключения|эквивалентно-категорические]]. | ||
+ | </div> | ||
+ | </div> | ||
+ | </div> | ||
<noinclude>[[Категория:Шаблоны:Списки]]</noinclude> | <noinclude>[[Категория:Шаблоны:Списки]]</noinclude> |
Текущая версия на 09:09, 13 января 2024
- отрицание;
- дизъюнкция;
- конъюнкция;
- разделительная дизъюнкция;
- импликация;
- обратная импликация;
- эквиваленция;
- стрелка Пирса;
- штрих Шеффера;
- полином Жегалкина;
- Нормальные формы:
- совершенная дизъюнктивная нормальная форма;
- совершенная конъюнктивная нормальная форма;
- минимальная дизъюнктивная нормальная форма;
- минимальная конъюнктивная нормальная форма;
- алгебраическая нормальная форма;