计算题 证明公式A=∀x（F（x→G（x）））即不是永真式，也不是矛盾式。

设个体域为实数集R，将命题符号化：任给δ>0，存在δ>0，使当|x-x0|0）|<ε。

问答题设个体域为实数集R，将命题符号化：任给δ>0，存在δ>0，使当|x-x₀|<δ时，均有|f（x）-f（x₀）|<ε。

设个体域为实数集R，将命题符号化：对于任意的x和y，存在z，使的x2+y2=z2。

问答题设个体域为实数集R，将命题符号化：对于任意的x和y，存在z，使的x²+y²=z²。

设个体域为非0有理数集Q，将命题符号化：对于任意的x和y，存在z，使的x2+y2=z2不为真。

问答题设个体域为非0有理数集Q，将命题符号化：对于任意的x和y，存在z，使的x²+y²=z²不为真。