在推出命题中,当P能推出Q,我们把Q称为P的?

以（1）p∨q∨﹁r、（2）(p∨q)→(s∧﹁q)、（3）r为前提推出结论p∧r，所用的推理形式有 设p，q为两个命题，对于"p→q"的逻辑涵义，下面的哪些叙述是正确的？Ⅰ.如果p，则qⅡ.p仅当qⅢ.p当q Ⅳ.q是p的充分条件 以“p”和“r∨～q∨～p”为前提进行推理，能必然推出的结论是（）。 以“～p”和“p←（q←r）”为前提，可必然推出结论（）。 已知p→（q∨r）为真，若要推出～p，必须加上前提（）。 以（1）﹁q、（2）p∨q、（3）p→r为前提推出结论r，所用的推理形式有（）。 “p∨﹁q”真，“q”真，据选言推理否定肯定式可推出（） “p∨﹁q”真，“q”真，据选言推理否定肯定式可推出 命题“P？（PúQ）”属于（） 命题公式p^q^-p 命题“P ? ( P ú Q )”属于()。 当p∨﹁q和p ? q仅有一真时，则下列命题形式为真的是 当所有合取支P和Q都为真时，合取命题“P并且Q”为真。 命题公式(P→Q)∨┐Q是: 已知“p→（q∨r）”为真，若要推出“～p”，则需加上前提（） “p∧q”真，据联言推理分解式可推出（） “p∧q”真，据联言推理分解式可推出 p∧q;真，据联言推理分解式可推出 当p∨﹁q和p↔q仅有一真时，则下列命题形式为真的是（）。 对谓词公式P和Q，如果P→Q永真，则称P永真蕴含Q，且称Q为P的逻辑结论，P为Q的前提。()