问答题用0元谓词将下列命题符号化:只要4不是素数,3就是素数。
问答题给出公式一个成真解释和一个成假解释::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)))即不是永真式,也不是矛盾式。