四种命题讲解