关系词项“包庇”在直接关系推理中表现为（）性，在间接关系推理中表现为（）性。

填空题关系词项“包庇”在直接关系推理中表现为（）性，在间接关系推理中表现为（）性。

1.问答题判明下列公式哪些属于永真式、哪些属于协调式、哪些属于矛盾式。（p∧﹁p）∨（p∧q）。

做它的真值表
所以，（p∧﹁p）∨（p∧q）是协调式。

2.多项选择题以p→q、p∨r、r→q和﹁q∨s为前提推出结论s∧q，所用的推理形式有（）。

A.二难推理的简单构成式
B.二难推理的复杂构成式
C.选言推理的肯定否定式
D.选言推理的否定肯定式
E.联言推理的组合式

3.多项选择题以﹁p→（q∧r）为一个前提，如果要必然地推出p∧s，则可增加的另一个前提是（）。

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

4.多项选择题以r←（p∨q）为一个前提，如果要有效地推得r，则可增加的另一个前提为（）。

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

5.多项选择题当p→q、q→p和﹁p∨﹁q三个公式均真时，下列公式取值为真的是（）。

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

6.多项选择题当p→﹁q取值为假时，下列形式中取值为真的是（）。

A．p→q
B．p←q
C．p∧q
D．p∨q
E．p↔q

7.单项选择题在下列各组命题形式中，具有不可同真但可同假关系的是（）。

A.SAP与SOP
B.p→q与﹁p→﹁q
C.p∨q与﹁p∨﹁q
D.p∧q与p∧﹁q

8.单项选择题当p∨﹁q和p↔q仅有一真时，则下列命题形式为真的是（）。

A.p∧q
B.p∧﹁q
C.﹁p∧q
D.﹁p∧﹁q

9.单项选择题下列与p∨﹁q想等值的命题是（）。

A.﹁（p∧﹁q）
B.﹁p∨q
C.﹁（﹁p∧q）
D.﹁（p→﹁q）

10.单项选择题在下列命题形式中，与p∨q相矛盾的是（）。

A.﹁p∨﹁q
B.﹁p→q
C.﹁p∧﹁q
D.p←q