一阶逻辑即是指()。
A:概率逻辑
B:数值逻辑
C:图式逻辑
D:谓词逻辑
出自:哲学