问答题
证明公式A=∀x(F(x→G(x)))即不是永真式,也不是矛盾式。
问答题 设个体域为实数集R,将命题符号化:任给δ>0,存在δ>0,使当|x-x0|0)|<ε。
问答题 设个体域为实数集R,将命题符号化:对于任意的x和y,存在z,使的x2+y2=z2。
问答题 设个体域为非0有理数集Q,将命题符号化:对于任意的x和y,存在z,使的x2+y2=z2不为真。