】()是指必定有真假的语法正确的字符串。CA、陈述B、语句C、命题D、推论2【