单项选择题

在谓词逻辑演算系统中,()是全称量词。

A.A
B.B
C.C
D.D