Логический закон — это формула из логических выражений в виде равенства, принимающая только истинное значение при любых значениях переменных.
Виды логических законов:
Основные законы:
Аксиомы:
Дополнительные законы:
Эквиваленции:
- Логический закон является тождественно-истинным предикатом, определённым на множестве {0,1}.