问答题 在自然推理系统P中，用直接证明法构造下面推理的证明：

问答题 判断下面推理是否正确，并证明之（方法不限）：若小李是文科学生，则他爱看电影。小李不是文科学生，所以，他不爱看电影。

问答题 设S为无向连通图G的一个边割集，证明：：G-S不含G的生成图。