Шаблон:Список ЛПон — различия между версиями
Материал из ALL
м |
м |
||
(не показана одна промежуточная версия этого же участника) | |||
Строка 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
- отрицание;
- дизъюнкция;
- конъюнкция;
- разделительная дизъюнкция;
- импликация;
- обратная импликация;
- эквиваленция;
- стрелка Пирса;
- штрих Шеффера;
- полином Жегалкина;
- Нормальные формы:
- совершенная дизъюнктивная нормальная форма;
- совершенная конъюнктивная нормальная форма;
- минимальная дизъюнктивная нормальная форма;
- минимальная конъюнктивная нормальная форма;
- алгебраическая нормальная форма;