问答题 证明推理：有理数，无理数都是实数。虚数不是实数。因此，虚数既不是有理数，也不是无理数。

问答题 证明公式（∀y）P（x，y）→（∀y）P（x，y）是逻辑有效的。

问答题 D中v4到v3长度为1，2，3，4的通路各为几条？