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