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

学科:人工智能技术
时间:2024-10-12 12:14:10
相关题目
相关作业
