解取个体域为全总个体域,先将命题符号化.记 p(x): x 是有理数；q(x): x 是整数；r(x): x是实数,则有　　前提：Ax(p(x)→r(x)),Ex(p(x)∧q(x))；　　结论：Ex(r(x)∧q(x)).　　证明　　 ① Ex(...