命题可以写成什么形式_通常把命题简记成什么形式