不能再分解为更简单命题的命题