计算题 在自然推理系统P中，构造用自然语言描述的推理若张超与李志都是计算机系学生，则王红是中文系学生，若王红是中文系学生，则她爱看小说，可是，王红不爱看小说，张超是计算机系学生，所以，李志不是计算机系学生。

用消解证明法构造推理证明：前提￢p∨（q→r），￢s∨p，q结论：s→r。

问答题用消解证明法构造推理证明：前提￢p∨（q→r），￢s∨p，q结论：s→r。

已知推理的前提为qp，q→s，￢s∨t，￢t∧r，试寻找1~2个有效结论。

问答题已知推理的前提为q↔p，q→s，￢s∨t，￢t∧r，试寻找1~2个有效结论。

在自然推理系统P中，用归谬法证明推理：前提：p→￢q，r→q，r结论：￢p。

问答题在自然推理系统P中，用归谬法证明推理：前提：p→￢q，r→q，r结论：￢p。