这个问题是离散数学上常见的证明题设：F(x)：x是有理数.G(x)：x是实数.P(x)：x是整数,原命题符号化为：
前提：Ax(F(x)→G(x)),Ex(F(x)∧P(x))
结论：Ex(G(x)∧P(x))
证明：(1)Ex(F(x)∧P(x)) 前提引入
(2)F(a)∧P(a) (1)EI
(3)F(a) (2)化简
(4)Ax(F(x)→G(x)) 前提引入
(5)F(a)→G(a) (4)UI
(6)G(a) (3)(5)假言推理
(7)P(a) (2)化简
(8)G(a)∧P(a) (6)(7)合取引入
(9)Ex(G(x)∧P(x)) (8)EG,希望能帮到你