问答题
给出公式一个成真解释和一个成假解释：：x（F（x）∨G（x））。
问答题给出公式一个成真解释和一个成假解释：：∀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））））为永真式。
