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