问答题 用0元谓词将下列命题符号化：只要4不是素数，3就是素数。

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

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