Шаблон:Список ЛПон

Материал из Мегапедии
Перейти к: навигация, поиск

Логический закон[править]

Логические функции:[править]

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

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

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

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

алгебраическая нормальная форма[править]

Таблица истинности[править]

Карта Карно[править]

Трёхмерная карта Карно[править]

Полином Жегалкина[править]

Предикат[править]

Секвенции[править]

Суждение[править]

Умозаключения:[править]

превращение[править]

обращение[править]

противопоставление предикату[править]

противопоставление субъекту[править]

чисто условные умозаключения[править]

силлогизм[править]

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

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

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

Диаграммы:[править]

диаграмма Венна[править]

диаграмма Эйлера[править]