Логический закон — различия между версиями
Материал из ALL
Строка 1: | Строка 1: | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
'''Логический закон''' — это формула из логических выражений в виде равенства, принимающая только истинное значение при любых значениях переменных. | '''Логический закон''' — это формула из логических выражений в виде равенства, принимающая только истинное значение при любых значениях переменных. | ||
Версия 10:31, 17 ноября 2015
Логический закон — это формула из логических выражений в виде равенства, принимающая только истинное значение при любых значениях переменных.
Содержание
Виды логических законов:
Основные законы:
Аксиомы:
Дополнительные законы:
Эквиваленции:
- Логический закон является тождественно-истинным предикатом, определённым на множестве {0,1}.