下面哪一句话对命题逻辑中的归结(resolution)规则的描述是不正确的()?

A.当p不成立时，“如果p那么q”恒为真

B.“如果p那么q”定义的是一种蕴涵关系(即充分条件)

C.无法用真值表来判断“如果p那么q”的真假

D.“如果p那么q”意味着命题q包含着命题p，即p是q的子集

A.p、q都是真命题

B.p是真命题,q是假命题

C.p、q都是假命题

D.p是假命题,q是真命题

A.p,q 都是真命题

B.p,q 都是假命题

C.p,q 一个是真命题一个是假命题

D.无法判断

A.有限个简单合取式构成的析取式称为析取范式

B.有限个简单析取式构成的合取式称为合取范式

C.一个析取范式是不成立的，当且仅当它包含一个不成立的简单合取式

D.一个合取范式是成立的，当且仅当它的每个简单析取式都是成立的

A.p→q

B.p∧q

C.p∨q

D.p→q

E.p∨q

A.p且q

B.p或q

C.非p

D.以上都不是

A.非p

B.如果q则p

C.如果p则q

D.p且q