单项选择题
下面哪一句话对命题范式的描述是不正确的()
A.有限个简单合取式构成的析取式称为析取范式
B.有限个简单析取式构成的合取式称为合取范式
C.一个析取范式是不成立的,当且仅当它包含一个不成立的简单合取式
D.一个合取范式是成立的,当且仅当它的每个简单析取式都是成立的
点击查看答案&解析
相关考题
-
单项选择题
下面哪一句话对命题逻辑中的归结(resolution)规则的描述是不正确的()
A.对命题q及其反命题应用归结法,所得到的命题为空命题
B.在两个析取复合命题中,如果命题q及其反命题分别出现在这两个析取复合命题中,则通过归结法可得到一个新的析取复合命题,只是在析取复合命题中要去除命题q及其反命题。
C.如果命题q出现在一个析取复合命题中,命题q的反命题单独存在,则通过归结法可得到一个新的析取复合命题,只是在析取复合命题中要去除命题q及其反命题。
D.对命题q及其反命题应用归结法,所得到的命题为假命题 -
单项选择题
下面哪个复合命题与“如果秋天天气变凉,那么大雁南飞越冬”是逻辑等价的()
A.如果秋天天气变凉,那么大雁不南飞越冬
B.如果大雁不南飞越冬,那么秋天天气没有变凉
C.如果大雁不南飞越冬,那么秋天天气变凉
D.如果秋天天气没有变凉,那么大雁不南飞越冬 -
单项选择题
p和q均是原子命题,“如果p那么q”是由p和q组合得到的复合命题。下面对“如果p那么q”这一复合命题描述不正确的是()
A.当p不成立时,“如果p那么q”恒为真
B.“如果p那么q”定义的是一种蕴涵关系(即充分条件)
C.无法用真值表来判断“如果p那么q”的真假
D.“如果p那么q”意味着命题q包含着命题p,即p是q的子集
