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

问答题 D是哪类连通图？

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