单项选择题

布尔代数实现了数理逻辑中的:()

A.命题演算
B.谓词演算
C.归纳演算