Логический закон — различия между версиями

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

Версия 17:07, 4 января 2021

Логический закон — это формула из логических выражений в виде равенства, принимающая только истинное значение при любых значениях переменных.

Виды логических законов:

Основные законы:

Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения

Аксиомы:

Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения

Дополнительные законы:

Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения

Эквиваленции:

Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
  • Логический закон является тождественно-истинным предикатом, определённым на множестве {0,1}.

Другие понятия:

Ссылки