计算题 给出公式一个成真解释和一个成假解释：：∀x（F（x）∨G（x））。

证明公式（（F（x）→yG（y））∧xF（x））→yG（y）为永真式。

问答题证明公式（（∀F（x）→∃yG（y））∧∀xF（x））→∃yG（y）为永真式。

证明公式x（F（x→（F（x）∨G（x））））为永真式。

问答题证明公式∀x（F（x→（F（x）∨G（x））））为永真式。

证明公式A=x（F（x→G（x）））即不是永真式，也不是矛盾式。

问答题证明公式A=∀x（F（x→G（x）））即不是永真式，也不是矛盾式。