1:命题的概念与形式