问答题 设T是K+1阶无向树，K≥1，G是无向简单图，已知δ（G）≥K，证明：G中存在与T同构的子图。

问答题 Kn（1≤n≤7）各有多少棵非同构的生成树？

问答题 在自然推理系统P中，构造下面用自然语言给出的推理： 若小张喜欢数学，则小李或小赵也喜欢数学。若小李喜欢数学，则他也喜欢物理。小张确实喜欢数学，可小李不喜欢物理。所以，小赵喜欢数学。