()是指必定有真假的语法正确的字符串。
A:语句
B:命题
C:陈述
D:推论
出自:哲学