Логический закон — различия между версиями
| Строка 9: | Строка 9: | ||
=== Эквиваленции: === | === Эквиваленции: === | ||
[[файл:ЛЗ04.JPG]] | [[файл:ЛЗ04.JPG]] | ||
| + | [[файл:ЛЗ04.png]] | ||
*Логический закон является тождественно-истинным [[предикат]]ом, определённым на множестве '''{0,1}'''. | *Логический закон является тождественно-истинным [[предикат]]ом, определённым на множестве '''{0,1}'''. | ||
== [[Логические понятия|Другие понятия:]] == | == [[Логические понятия|Другие понятия:]] == | ||
Версия 20:26, 28 января 2023
Логический закон — это формула из логических выражений в виде равенства, принимающая только истинное значение при любых значениях переменных.
Содержание
Виды логических законов:
Основные законы:
Аксиомы:
Дополнительные законы:
Эквиваленции:
- Логический закон является тождественно-истинным предикатом, определённым на множестве {0,1}.
