Закон поглощения
- Закон поглощения связывает пару бинарных операций в алгебре.
- Решетка — это алгебра, в которой обе операции являются коммутативными, ассоциативными и идемпотентными.
- Примеры решеток включают алгебры Хейтинга и булевы алгебры.
- В классической и интуиционистской логике операции OR и AND удовлетворяют аксиомам решетки, включая закон поглощения.
- Закон поглощения не выполняется во многих других алгебраических структурах, таких как коммутативные кольца.
Полный текст статьи: