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