代數邏輯

喺數學邏輯入面，代數邏輯係用抽象代數嚟到形式化邏輯。