问答题
证明公式（∀x）（∀y）A→（y）（∀x）A，其中A为任何公式是逻辑有效的。
问答题 证明公式（x）（A→B）→（（x）A→（x）B）是逻辑有效的。
问答题 证明公式（∀x）P（x）→（（∀x）Q（x）→（y）P（y））是逻辑有效的。
问答题 D是哪类连通图？
y）（∀x）A，其中A为任何公式是逻辑有效的。