问答题
在自然推理系统P中,构造下面用自然语言给出的推理: 若小张喜欢数学,则小李或小赵也喜欢数学。若小李喜欢数学,则他也喜欢物理。小张确实喜欢数学,可小李不喜欢物理。所以,小赵喜欢数学。
问答题 在图所示的无向图中,含边e1,e2,e3,作为树枝的非同构的生成树共有几颗?画出它们。
问答题 在自然推理系统P中,用直接证明法构造下面推理的证明:
问答题 判断下面推理是否正确,并证明之(方法不限):若小李是文科学生,则他爱看电影。小李不是文科学生,所以,他不爱看电影。