问答题
在自然推理系统P中,用直接证明法构造下面推理的证明:
问答题 判断下面推理是否正确,并证明之(方法不限):若小李是文科学生,则他爱看电影。小李不是文科学生,所以,他不爱看电影。
问答题 设S为无向连通图G的一个边割集,证明::G-S不含G的生成图。
问答题 设T为无向图G的生成树,为T的余数,证明:中不含G的边割集?