命题由什么形式表示