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