若公式中包含某个命题变项及其否定式，则该公式要么是永真式，要么是永假式。

A.永真式

B.矛盾式

C.非永真式的可满足式

D.无法确定

A.包含所有极小项

B.包含所有极大项

C.包含部分极小项

D.以上都不对

A.三个命题变元的布尔小项ØP∧Q∧ØR的编码是m010

B.三个命题变元的布尔大项ØP Ú QÚ ØR 的编码是M101

C.任意两个不同的布尔小项的析取式必为永真式

D.任意两个不同的布尔大项的析取式必为永真式

A.P规则：在推理的任何步骤上都可引入前提。

B.T规则：在推理过程中，如果前面步骤中有一个或多个公式永真蕴含公式S，则可把S引入推理过程中。

C.CP规则：如果能从任意引入的谓词R和前提集合中推出S来，则可从前提集合推出R → S来。

D.F规则：在推理的任何步骤上都可引入永假蕴含式。

A.永真式

B.包孕式

C.空子句

A.恒真式

B.恒假的

C.可满足的

D.前束范式

A.李某要么是警察要么是教师

B.如果李某是警察，那么他也是教师。

C.如果李某不是警察，那么他也不是教师。

D.如果李某是教师，那么李某是警察。