问答题 设G为n阶m条边的无向简单连通图，已知m≥n，证明：G中必含圈。

问答题 根树T如图所示：T是几个分支点？分别是哪些顶点？

问答题 在自然推理系统P中构造下面推理的证明： 如果今天是星期六，我们就要到颐和园或圆明园去玩。如果颐和园游人太多，我们就不去颐和园玩。今天是星期六，颐和园游人太多，所以，我们去圆明园玩。