可分命题相关论文