Логический закон
Материал из ALL
Версия от 09:56, 16 ноября 2015; Logic-samara (обсуждение | вклад)
Логический закон — это формула из логических выражений в виде равенства, принимающая только истинное значение при любых значениях переменных.
Содержание
Виды логических законов:
Основные законы:
Аксиомы:
Дополнительные законы:
Эквиваленции:
- Логический закон - это тождественно-истинный предикат, определённый на множестве {0,1}.