-
以属于假言连锁论证形式的是()。A、P;Q;PÙQB、P;PÚQC、P®Q;Q®R;P®RD、PÚQ;ØP;Q
-
当所有合取支P和Q都为真时 合取命题“P并且Q”为真。()
-
命题“P蕴含Q”表示P合取非Q是可以成立的。()
-
下列命题公式中为重言式的是 Ⅰ.((p∨q)→r┌ →((p→r)∧(q→r)) Ⅱ.(p→(q∨r))→((p→q)∧(p→r)) Ⅲ.((p
-
与命题公式“p→q”逻辑等值的有()。
-
以下命题可以符号化为p→q的有:
-
下面命题公式中主析取范式中含3个极小项的是A.p∨q∨rB.(p∧q)(┐ p∧q∧r)C.p→(q∧r)D.┐(p∧┐ q)∧(r∨q)