1.∨x( Q(x)→R(x））
2.令R(x）:X是实数 Q（x）：x是整数
∑（存在符号）x（ R（x)∧┐Q(x) )
符号有一点难打出来!