问答题
证明公式(∀y)P(x,y)→(∀y)P(x,y)是逻辑有效的。
问答题 D中v4到v3长度为1,2,3,4的通路各为几条?
问答题 证明下列推理:每个有理数都是实数。有的有理数是整数。因此,有的实数是整数。
问答题 画出3阶有向完全图的所有2条边的非同构的子图。