
2.对于命题p:1+1=3,命题q:2>1, 那么 p→q 的真值为( ).A. 真B. 假C. 无法判断D. 以上都不对
[单选题]已知p→q为假,则p和q的真值为()。A . p真并且q真B . p真并且q假C . p假并且q真D . p假并且q假
[多选题] 以(1)p∨q∨﹁r、(2)(p∨q)→(s∧﹁q)、(3)r为前提推出结论p∧r,所用的推理形式有()。A . 一次运用选言推理的否定肯定式B . 联言推理的分解式C . 两次运用选言推理的否定肯定式D . 充分条件推理的肯定前件式E . 联言推理的组合式
[单选题]下列命题公式中为重言式的是Ⅰ.((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.12 求下列命题公式的主析取范式、主合取范式、成真赋值、成假赋值.-|||-(1) (pV(q(N)_(r)))arrow (pNqNr).-|||-(2)
[多选题] 以p→q、p∨r、r→q和﹁q∨s为前提推出结论s∧q,所用的推理形式有()。A .二难推理的简单构成式B .二难推理的复杂构成式C .选言推理的肯定否定式D . D.选言推理的否定肯定式E .联言推理的组合式
Q1 Q2-|||-R2-|||-r 0-|||-P R1-|||-[B]
[多选题] 以(1)﹁q、(2)p∨q、(3)p→r为前提推出结论r,所用的推理形式有()。A . 选言推理的肯定否定式B . 联言推理的分解式C . 选言推理的否定肯定式D . 充分条件推理的肯定前件式E . 充分条件推理的否定后件式
[单选题]设p、q、r为性质判断,p为全称判断。若p对q有差等关系,q与r有矛盾关系,则p与r一定有()。A . 矛盾关系B . 反对关系C . 差等关系D . 下反对关系
n个命题变元组成的命题公式共有________________种不同真值指派情况。n个命题变元组成的命题公式共有________________种不同真值指派情