单项选择题
下面哪一句话对命题逻辑中的归结（resolution）规则的描述是不正确的（）
A.对命题q及其反命题应用归结法，所得到的命题为空命题B.在两个析取复合命题中，如果命题q及其反命题分别出现在这两个析取复合命题中，则通过归结法可得到一个新的析取复合命题，只是在析取复合命题中要去除命题q及其反命题。C.如果命题q出现在一个析取复合命题中，命题q的反命题单独存在，则通过归结法可得到一个新的析取复合命题，只是在析取复合命题中要去除命题q及其反命题。D.对命题q及其反命题应用归结法，所得到的命题为假命题
单项选择题 下面哪个复合命题与“如果秋天天气变凉，那么大雁南飞越冬”是逻辑等价的（）
单项选择题 p和q均是原子命题，“如果p那么q”是由p和q组合得到的复合命题。下面对“如果p那么q”这一复合命题描述不正确的是（）
单项选择题 在A*搜索算法中，评价函数可以如下定义（）
