问答题
在自然推理系统P中用归谬法证明下面推理：前提：p∨q，p→r，q→s结论：r∨s。
问答题 根树T如图所示：T是几叉树？要将T变成正则树至少要加几个顶点，几条边？
问答题 在自然推理系统P中构造下面推理的证明： 前提：p→（q→r），p，q 结论：r∨s。
问答题 高为h的r（r≥2）叉正则树至多有多少片树叶？至少呢？
