命题、四种命题