问题：
[多选] 当p→﹁q取值为假时，下列形式中取值为真的是（）。
A．p→q。B．p←q。C．p∧q。D．p∨q。E．p↔q。
问题：
[多选] 当p→q、q→p和﹁p∨﹁q三个公式均真时，下列公式取值为真的是（）。
p→﹁q。﹁p→q。q→﹁p。p↔q。﹁p∧﹁q。
问题：
[多选] 以r←（p∨q）为一个前提，如果要有效地推得r，则可增加的另一个前提为（）。
p。q。﹁p。﹁q。p∨q。
问题：
[多选] 以﹁p→（q∧r）为一个前提，如果要必然地推出p∧s，则可增加的另一个前提是（）。
s。﹁q。﹁q∧s。﹁r∧s。（﹁q∨﹁r）∧s。
问题：
[多选] 以p→q、p∨r、r→q和﹁q∨s为前提推出结论s∧q，所用的推理形式有（）。
A.二难推理的简单构成式。B.二难推理的复杂构成式。C.选言推理的肯定否定式。D.选言推理的否定肯定式。E.联言推理的组合式。
问题：
[问答题,简答题] 判明下列公式哪些属于永真式、哪些属于协调式、哪些属于矛盾式。（p∧﹁p）∨（p∧q）。
问题：
[填空题] 关系词项“包庇”在直接关系推理中表现为（）性，在间接关系推理中表现为（）性。
问题：
[填空题] 如果关系R是反传递性的，则由aRb和bRc为前提，可推出（）。
问题：
[填空题] 在概念外延间的全异、真包含、交叉关系中，属于传递性关系的是（），属于反对称性关系的是（）。
问题：
[填空题] 在概念外延间的全同、真包含于、交叉、矛盾关系中，属于反对称关系的是（），属于反传递关系的是（）。
