拆解简单命题