下面哪一句话对命题逻辑中的归结(resolution)规则的描述是不正确的()
A. 对命题q及其反命题应用归结法,所得到的命题为假命题
B. 在两个析取复合命题中,如果命题q及其反命题分别出现在这两个析取复合命题中,则通过归结法可得到一个新的析取复合命题,只是在析取复合命题中要去除命题q及其反命题。
C. 对命题q及其反命题应用归结法,所得到的命题为空命题
D. 如果命题q出现在一个析取复合命题中,命题q的反命题单独存在,则通过归结法可得到一个新的析取复合命题,只是在析取复合命题中要去除命题q及其反命题。