问答题用0元谓词将下列命题符号化:只有2是偶数,4才是偶数。
问答题用0元谓词将下列命题符号化:只要4不是素数,3就是素数。
问答题给出公式一个成真解释和一个成假解释::x(F(x)∨G(x))。
问答题证明公式((F(x)→yG(y))∧xF(x))→yG(y)为永真式。
问答题证明公式x(F(x→(F(x)∨G(x))))为永真式。