单项选择题
下面哪一句话对命题范式的描述是不正确的()
A.有限个简单合取式构成的析取式称为析取范式B.有限个简单析取式构成的合取式称为合取范式C.一个析取范式是不成立的,当且仅当它包含一个不成立的简单合取式D.一个合取范式是成立的,当且仅当它的每个简单析取式都是成立的
单项选择题 下面哪一句话对命题逻辑中的归结(resolution)规则的描述是不正确的()
单项选择题 下面哪个复合命题与“如果秋天天气变凉,那么大雁南飞越冬”是逻辑等价的()
单项选择题 p和q均是原子命题,“如果p那么q”是由p和q组合得到的复合命题。下面对“如果p那么q”这一复合命题描述不正确的是()