命题及四种命题