Последние изменения на 06:14 13 января 2024

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

Версия от 06:14, 13 января 2024; Logic-samara (обсуждение | вклад)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)

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

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

отрицание

дизъюнкция

конъюнкция

разделительная дизъюнкция

импликация

обратная импликация

эквиваленция

стрелка Пирса

штрих Шеффера

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

Нормальные формы:

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

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

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

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

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

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

Карта Карно

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

Предикат

Секвенции

Суждение

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

превращение

обращение

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

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

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

силлогизм

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

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

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

Диаграммы:

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

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