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

问答题 根树T如图所示：T是几叉树？要将T变成正则树至少要加几个顶点，几条边？

问答题 在自然推理系统P中构造下面推理的证明： 前提：p→（q→r），p，q 结论：r∨s。