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

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

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

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

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

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

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

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

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

A.非p

B.如果q则p

C.如果p则q

D.p且q

A.并非联言命题不是复合命题

B.并非有的联言命题不是复合命题

C.并非有的联言命题是复合命题

D.并非没有联言命题不是复合命题

A.命题人员

B.题库保密

C.命题过程

D.试卷印刷

A.逆命题

B.否命题

C.逆否命题

D.假命题

A.①③⑤

B.①②③④

C.①②③④⑤

D.③④⑤

A.析取命题和蕴涵命题

B.性质命题和关系命题

C.否定命题和合取命题

D.关系命题和合取命题

A.托马斯•门罗

B.维特根斯坦

C.叔本华

D.柏格森