求下列否定式的前束范式。

在自然推理系统中，构造用自然语言描述的推理的证明。

1.实数不是有理数就是无理数。无理数都不是分数。所以，若有分数，则必有有理数(个体为实数集R)。

2.人都喜欢吃蔬菜。但不是所有的人都喜欢吃鱼。所以，存在喜欢吃蔬菜而不喜欢吃鱼的。

设个体域D={a，b，c}，在D中消去公式的量词。甲、乙用了不同的演算过程。

显然，乙的演算过程简单些。试指出乙在演算过程中的关键步骤。

设个体域={1，2，3，4}，F(x)：x是2的倍数。G(x)：x是奇数，将命题(F(x)→?G(x))中的量词消去，并讨论命题的真值。

给定解释I如下。

试求下列公式在Ⅰ下的真值。

给定公式

(1)在解释I₁中，个体域D={a}，证明公式A在I₁下的真值为1。

(2)在解释I₂中，个体域D={a₁，a₂，…，a_n}，n≥2，A在I₂下的真值还一定是1吗?为什么?