展开 公式属于符号还是命题