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

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

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

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

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

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

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