Логический закон — различия между версиями
Материал из ALL
Строка 15: | Строка 15: | ||
* Логический закон - это тождественно-истинный [[предикат]], определённый на множестве '''{0,1}'''. | * Логический закон - это тождественно-истинный [[предикат]], определённый на множестве '''{0,1}'''. | ||
+ | == Ссылки == | ||
+ | * [[Участник:Logic-samara]] | ||
+ | [[Категория:Дискретная математика]][[Категория:Логика]] | ||
+ | '''Логический закон''' — это формула из логических выражений в виде равенства, принимающая только истинное значение при любых значениях переменных. | ||
+ | |||
+ | == Виды логических законов: == | ||
+ | === Основные законы: === | ||
+ | [[файл:ЛЗ01.JPG]] | ||
+ | |||
+ | === Аксиомы: === | ||
+ | [[файл:ЛЗ02.JPG]] | ||
+ | |||
+ | === Дополнительные законы: === | ||
+ | [[файл:ЛЗ03.JPG]] | ||
+ | |||
+ | === Эквиваленции: === | ||
+ | [[файл:ЛЗ04.JPG]] | ||
+ | |||
+ | * Логический закон является тождественно-истинным [[предикат]]ом, определённым на множестве '''{0,1}'''. | ||
+ | |||
+ | == Другие понятия: == | ||
+ | * [[логическая функция]]; | ||
+ | * [[предикат]]; | ||
+ | * [[таблица истинности]]; | ||
+ | * [[карта Карно]]; | ||
+ | * [[трёхмерная карта Карно]]. | ||
+ | |||
== Ссылки == | == Ссылки == | ||
* [[Участник:Logic-samara]] | * [[Участник:Logic-samara]] | ||
[[Категория:Дискретная математика]][[Категория:Логика]] | [[Категория:Дискретная математика]][[Категория:Логика]] |
Версия 10:30, 17 ноября 2015
Логический закон — это формула из логических выражений в виде равенства, принимающая только истинное значение при любых значениях переменных.
Содержание
Виды логических законов:
Основные законы:
Аксиомы:
Дополнительные законы:
Эквиваленции:
- Логический закон - это тождественно-истинный предикат, определённый на множестве {0,1}.
Ссылки
Логический закон — это формула из логических выражений в виде равенства, принимающая только истинное значение при любых значениях переменных.
Виды логических законов:
Основные законы:
Аксиомы:
Дополнительные законы:
Эквиваленции:
- Логический закон является тождественно-истинным предикатом, определённым на множестве {0,1}.