问答题
(∃x)(A(x)→B)<=>(∀x)A(x)→B
问答题 (x)(y)(S(x)→R(y))(x)S(x)→(y)R(y)
问答题 (x)(S(x)→R(x))(x)S(x)→(x)R(x)
问答题 (x)(x22x+1=0),其中个体域为D={-1.2}