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