单项选择题

()是指必定有真假的语法正确的字符串。

A、语句
B、命题
C、陈述
D、推论