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