Логический закон — различия между версиями
Материал из ALL
Ws (обсуждение | вклад) (Восстановление статей Logic-samara) |
|||
Строка 14: | Строка 14: | ||
[[файл:ЛЗ04.JPG]] | [[файл:ЛЗ04.JPG]] | ||
+ | * Логический закон - это тождественно-истинный [[предикат]], определённый на множестве '''{0,1}'''. | ||
== Ссылки == | == Ссылки == | ||
* [[Участник:Logic-samara]] | * [[Участник:Logic-samara]] | ||
[[Категория:Дискретная математика]][[Категория:Логика]] | [[Категория:Дискретная математика]][[Категория:Логика]] |
Версия 09:51, 16 ноября 2015
Логический закон — это формула из логических выражений в виде равенства, принимающая только истинное значение при любых значениях переменных.
Содержание
Виды логических законов:
Основные законы:
Аксиомы:
Дополнительные законы:
Свойства:
- Логический закон - это тождественно-истинный предикат, определённый на множестве {0,1}.