命题形式大致有两大类