单项选择题

一阶逻辑即是指()。

A.概率逻辑
B.数值逻辑
C.图式逻辑
D.谓词逻辑