多项选择题

A.命题逻辑
B.一阶谓词逻辑
C.多值逻辑
D.模糊逻辑