命题“P ® （P Ú Q )”属于（)。A 协调式B 永假式C 矛盾式D 重言式

以属于假言连锁论证形式的是（)。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的有: