已知关系R是反对称的、传递的，由aRb真可得知（）；由aRb真且bRc真可得...

填空题已知关系R是反对称的、传递的，由aRb真可得知（）；由aRb真且bRc真可得知（）。

1.填空题在概念外延间的全同、真包含于、交叉、矛盾关系中，属于反对称关系的是（），属于反传递关系的是（）。

2.填空题在概念外延间的全异、真包含、交叉关系中，属于传递性关系的是（），属于反对称性关系的是（）。

3.填空题如果关系R是反传递性的，则由aRb和bRc为前提，可推出（）。

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

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

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

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

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

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

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

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

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

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

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

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

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