以PEM 为一前提，增补以下哪一命题为另一前提，可必然推出SI﹁P。（）

若p∨q 为假，则下列公式中取值为真的是（）。A.p→qB.p↔qC.p∧qD.﹁p∨﹁qE.﹁p∧﹁q

多项选择题若p∨q 为假，则下列公式中取值为真的是（）。

若﹁p∧q 为真，则下列公式中取值为真的是（）。A.﹁p→qB.p→qC.﹁p→﹁qD.﹁p∨﹁qE.p∨q

多项选择题若﹁p∧q 为真，则下列公式中取值为真的是（）。

若一推理的前提与结论具有以下哪种关系，则此推理是形式有效的。（）A.矛盾B.等值C.下反对D.反对E.蕴涵

多项选择题若一推理的前提与结论具有以下哪种关系，则此推理是形式有效的。（）