代數邏輯

出自維基百科,自由嘅百科全書
跳去導覽 跳去搵嘢

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