多項(xiàng)選擇題

以﹁p→（q∧r）為一個(gè)前提，如果要必然地推出p∧s，則可增加的另一個(gè)前提是（）。

A.s
B.﹁q
C.﹁q∧s
D.﹁r∧s
E.（﹁q∨﹁r）∧s

你可能感興趣的試題

多項(xiàng)選擇題

以r←（p∨q）為一個(gè)前提，如果要有效地推得r，則可增加的另一個(gè)前提為（）。

A.p
B.q
C.﹁p
D.﹁q
E.p∨q

多項(xiàng)選擇題

當(dāng)p→q、q→p和﹁p∨﹁q三個(gè)公式均真時(shí)，下列公式取值為真的是（）。

A.p→﹁q
B.﹁p→q
C.q→﹁p
D.p↔q
E.﹁p∧﹁q