15.命题的组合