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

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

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