多项选择题
A.s B.﹁q C.﹁q∧s D.﹁r∧s E.（﹁q∨﹁r）∧s
以r←（p∨q）为一个前提，如果要有效地推得r，则可增加的另一个前提为（）。A.pB.qC.﹁pD.﹁qE.p...
多项选择题以r←（p∨q）为一个前提，如果要有效地推得r，则可增加的另一个前提为（）。
A.p B.q C.﹁p D.﹁q E.p∨q
当p→q、q→p和﹁p∨﹁q三个公式均真时，下列公式取值为真的是（）。A.p→﹁qB.﹁p→qC.q→﹁pD....
多项选择题当p→q、q→p和﹁p∨﹁q三个公式均真时，下列公式取值为真的是（）。
A.p→﹁q B.﹁p→q C.q→﹁p D.p↔q E.﹁p∧﹁q
当p→﹁q取值为假时，下列形式中取值为真的是（）。A．p→qB．p←qC．p∧qD．p∨qE．p↔q
多项选择题当p→﹁q取值为假时，下列形式中取值为真的是（）。
A．p→q B．p←q C．p∧q D．p∨q E．p↔q
