Логический закон — различия между версиями
Материал из ALL
| Строка 2: | Строка 2: | ||
== Виды логических законов: == | == Виды логических законов: == | ||
| − | |||
| − | |||
| − | |||
| − | |||
=== Основные законы: === | === Основные законы: === | ||
[[файл:ЛЗ01.JPG]] | [[файл:ЛЗ01.JPG]] | ||
| Строка 15: | Строка 11: | ||
[[файл:ЛЗ03.JPG]] | [[файл:ЛЗ03.JPG]] | ||
| − | === | + | === Эквиваленции: === |
[[файл:ЛЗ04.JPG]] | [[файл:ЛЗ04.JPG]] | ||
Версия 09:56, 16 ноября 2015
Логический закон — это формула из логических выражений в виде равенства, принимающая только истинное значение при любых значениях переменных.
Содержание
Виды логических законов:
Основные законы:
Аксиомы:
Дополнительные законы:
Эквиваленции:
- Логический закон - это тождественно-истинный предикат, определённый на множестве {0,1}.
