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

Материал из Мегапедии
Перейти к: навигация, поиск
Строка 19: Строка 19:
 
=== [[разделительно-категорические умозаключения]] ===
 
=== [[разделительно-категорические умозаключения]] ===
 
=== [[эквивалентно-категорические умозаключения]] ===
 
=== [[эквивалентно-категорические умозаключения]] ===
== Диаграммы: ===
+
== Диаграммы: ==
 
=== [[диаграмма Венна]] ===
 
=== [[диаграмма Венна]] ===
 
=== [[диаграмма Эйлера]] ===
 
=== [[диаграмма Эйлера]] ===
 
<noinclude>[[Категория:Шаблоны:Списки]]</noinclude>
 
<noinclude>[[Категория:Шаблоны:Списки]]</noinclude>

Версия 11:50, 28 января 2023

Логический закон

Логические функции:

совершенная дизъюнктивная нормальная форма

совершенная конъюнктивная нормальная форма

минимальная дизъюнктивная нормальная форма

минимальная конъюнктивная нормальная форма

алгебраическая нормальная форма

Таблица истинности

Карта Карно

Трёхмерная карта Карно

Полином Жегалкина

Предикат

Секвенции

Суждение

Умозаключения:

чисто условные умозаключения

силлогизм

условно-категорические умозаключения

разделительно-категорические умозаключения

эквивалентно-категорические умозаключения

Диаграммы:

диаграмма Венна

диаграмма Эйлера