问答题
给出公式一个成真解释和一个成假解释：：∀x（F（x）∨G（x））。
问答题 证明公式（（F（x）→yG（y））∧xF（x））→yG（y）为永真式。
问答题 证明公式x（F（x→（F（x）∨G（x））））为永真式。
问答题 证明公式A=x（F（x→G（x）））即不是永真式，也不是矛盾式。
