Логический закон — различия между версиями
Материал из ALL
| Строка 11: | Строка 11: | ||
* Логический закон является тождественно-истинным [[предикат]]ом, определённым на множестве '''{0,1}'''. | * Логический закон является тождественно-истинным [[предикат]]ом, определённым на множестве '''{0,1}'''. | ||
== Другие понятия: == | == Другие понятия: == | ||
| − | |||
| − | |||
| − | |||
*[[логический закон]]; | *[[логический закон]]; | ||
*[[логическая функция]]; | *[[логическая функция]]; | ||
Версия 09:44, 23 января 2016
Логический закон — это формула из логических выражений в виде равенства, принимающая только истинное значение при любых значениях переменных.
Содержание
Виды логических законов:
Основные законы:
Аксиомы:
Дополнительные законы:
Эквиваленции:
- Логический закон является тождественно-истинным предикатом, определённым на множестве {0,1}.
Другие понятия:
- логический закон;
- логическая функция;
- таблица истинности;
- карта Карно;
- трёхмерная карта Карно.
- предикат;
- секвенции;
- силлогизм;
- суждение;
- умозаключение.
