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