下列命题公式中为重言式的是

Ⅰ．((p∨q)→r┌ →((p→r)∧(q→r))

Ⅱ．(p→(q∨r))→((p→q)∧(p→r))

Ⅲ．((p→q)∧(P→r))→((p→r)

Ⅳ．((p∨q)∧(p→r))→(p→r)

A．Ⅲ

B．Ⅰ和Ⅲ

C．Ⅰ和Ⅱ

D．Ⅰ、Ⅱ、Ⅲ和Ⅳ

1.6 设p、q的真值为0;r、s的真值为1,求下列各命题公式的真值。-|||-(1)pV(q^r)。1.6 设p、q的真值为0;r、s的真值为1,求下列各命题

[多选题] 以（1）p∨q∨﹁r、（2）（p∨q）→（s∧﹁q）、（3）r为前提推出结论p∧r，所用的推理形式有（）。A . 一次运用选言推理的否定肯定式B . 联言推理的分解式C . 两次运用选言推理的否定肯定式D . 充分条件推理的肯定前件式E . 联言推理的组合式

[单选题]如果P，则Q，如果P则r，非q或者r，非p，这是（）结构A .简单构成式B .简单破坏式C .复杂破坏式D .复杂构成式

若P，Q可逆，则R(PAQ) =R(A）若P，Q可逆，则R(PAQ) =R(A）

A P,Q为可逆矩阵， R(PAQ)=R 关于矩阵的秩的性质，下列叙述错误的是(). A P,Q为可逆矩阵， $R(PAQ)=R A. $ B $

[多选题] 以p→q、p∨r、r→q和﹁q∨s为前提推出结论s∧q，所用的推理形式有（）。A .二难推理的简单构成式B .二难推理的复杂构成式C .选言推理的肯定否定式D . D.选言推理的否定肯定式E .联言推理的组合式

设前提集合 Gamma = P vee Q, P arrow R, Q arrow R，结论 H = R。证明 Gamma Rightarrow H。设前提集合

Q1 Q2-|||-R2-|||-r 0-|||-P R1-|||-[B]

[单选题]设p、q、r为性质判断，p为全称判断。若p对q有差等关系，q与r有矛盾关系，则p与r一定有（）。A . 矛盾关系B . 反对关系C . 差等关系D . 下反对关系

[多选题] 以（1）﹁q、（2）p∨q、（3）p→r为前提推出结论r，所用的推理形式有（）。A . 选言推理的肯定否定式B . 联言推理的分解式C . 选言推理的否定肯定式D . 充分条件推理的肯定前件式E . 充分条件推理的否定后件式