问答题
证明公式（∀x）P（x）→（（∀x）Q（x）→（y）P（y））是逻辑有效的。
问答题 D是哪类连通图？
问答题 证明推理：有理数，无理数都是实数。虚数不是实数。因此，虚数既不是有理数，也不是无理数。
问答题 证明公式（∀y）P（x，y）→（∀y）P（x，y）是逻辑有效的。
y）P（y））是逻辑有效的。