Логический закон — различия между версиями
| (не показано 5 промежуточных версий этого же участника) | |||
| Строка 2: | Строка 2: | ||
== Виды логических законов: == | == Виды логических законов: == | ||
=== Основные законы: === | === Основные законы: === | ||
| − | |||
[[файл:ЛЗ01.png]] | [[файл:ЛЗ01.png]] | ||
=== Аксиомы: === | === Аксиомы: === | ||
| − | |||
[[файл:ЛЗ02.png]] | [[файл:ЛЗ02.png]] | ||
=== Дополнительные законы: === | === Дополнительные законы: === | ||
| − | [[файл:ЛЗ03. | + | [[файл:ЛЗ03.png]] |
=== Эквиваленции: === | === Эквиваленции: === | ||
| − | [[файл:ЛЗ04. | + | [[файл:ЛЗ04.png]] |
*Логический закон является тождественно-истинным [[предикат]]ом, определённым на множестве '''{0,1}'''. | *Логический закон является тождественно-истинным [[предикат]]ом, определённым на множестве '''{0,1}'''. | ||
== [[Логические понятия|Другие понятия:]] == | == [[Логические понятия|Другие понятия:]] == | ||
| Строка 16: | Строка 14: | ||
== Ссылки == | == Ссылки == | ||
*[[Участник:Logic-samara]] | *[[Участник:Logic-samara]] | ||
| − | [[Категория:Дискретная математика]][[Категория:Логика]] | + | [[Категория:Математика]][[Категория:Дискретная математика]][[Категория:Логика]] |
Текущая версия на 04:33, 10 апреля 2023
Логический закон — это формула из логических выражений в виде равенства, принимающая только истинное значение при любых значениях переменных.
Содержание
Виды логических законов:
Основные законы:
Аксиомы:
Дополнительные законы:
Эквиваленции:
- Логический закон является тождественно-истинным предикатом, определённым на множестве {0,1}.
