用直接证法证明 前提：P Ú Q，P ® R，Q ® S 结论：S∨ R

在命题逻辑中用直接证法证明下面推理 ： 前提：结论：

用等值演算法证明下列等值式： ((p∧q)Tr)∧(qT(r∨s)) o (q∧(sTp)Tr)（得分点：必须使用等值演算法。）

用公式法证明等式成立

A、

B、

C、

D、

A、

B、

C、

D、

用等值式演算法证明等值式 (1)(2)

用等值演算法证明下列等值式：（得分点：必须使用等值演算法。）

在构造形式结构为的推理证明中，属于附加前提证明法的是（ ）

A、

B、

C、

D、

用演绎法证明下面的论断 (1)，，(2)，，

用反证法证明命题：“,mn可被3整除，那么m,n中至少有一个能被3整除"时，假设的内容应为（ ）

A、m,n都能被3整除

B、m,n都不能被3整除

C、m,n不都能被3整除

D、m不能被3整除