（3）有人爱看小说。
　　（4）没有不爱看电影的人。
　　2.2  在一阶逻辑中将下列命题符号化，并指出各命题的真值，个体域分别为
　　（a）自然数集合N（N中含0）。
　　（b）整数集合Z。
　　（c）实数集合R。
　　（1）对于任意的 ，均有 。
　　（2）存在 ，使得 。
　　（3）存在 ，使得 。
　　2.3  在一阶逻辑中，将下面命题符号化。
　　（1）每个大学生不是文科生就是理科生。
　　（2）有些人喜欢所有的花。
　　（3）没有不犯错误的人。
　　（4）在北京工作的人未必都是北京人。
　　（5）任何金属都可以溶解在某种液体中。
　　（6）凡对顶角都相等。
　　2.4  将下列各式翻译成自然语言，然后在不同个体域中确定它们的真值。
　　（1） ；
　　（2） ；
　　（3） ；
　　（4） ；
　　（5） ；
　　（6） ；
　　（7） 。
　　个体域分别为
　　（a）实数集合R。
　　（b）整数集合Z。
　　（c）正整数集合Z+。
　　（d） （非零实数集合）。
　　2.5  （1）试给出解释 ，使得
　　与
　　在 下具有不同的真值。
　　（2）试给出解释 ，使得
　　与
　　在 下具有不同的真值。
　　2.6  设解释R如下： 是实数集， 中特定元素 中特定的函数 ，特定谓词 为 。在解释R下，下列哪些公式为真？哪些为假？
　　（1） ；
　　（2） ；
　　（3）
　　（4） 。
　　2.7  给出解释I，使下面两个公式在解释I下均为假，从而说明这两个公式都不是逻辑有效式（永真式）。
　　（1） ；
　　（2） 。
　　2.8  试寻找一个闭A，使A在某些解释下为真，而在另外一些解释下A为假。
　　2.9  试给出一个非封闭的公式A，使A存在解释I，在I下A的真值不是确定的，即A仍不是命题。
　　2.10  设个体域 ，在D下验证量词否定等值式。
　　（1）
　　（2）
　　2.11  在一阶逻辑中将下面命题符号化，并且要求只能使用全称量词。
　　（1）没有人长着绿色头发。
　　（2）有的北京人没去过香山。
　　2.12  设个体域 ，消去下列各公式中的量词。
　　（1） ；
　　（2） ；
　　（3） 。
　　2.13  设解释I为：个体域 ，一元谓词 。在I下求下列各式的真值。
　　（1）
　　（2） ；
　　（3） 。
　　2.14  求下列各式的前束范式，要求使用约束变项换名规则。
　　（1） ；
　　（2） 。
　　2.15  求下列各式的前束范式，要求使用自由变项换名规则。
　　（1） ；
　　（2） 。
　　2.16  指出下面推理中的错误。
　　（1）①      前提引入
　　②        ①UI
　　（2）①      前提引入
　　②          ①UI
　　（3）①         前提引入
　　②      ①EG
　　（4）①         前提引入
　　②      ①EG
　　（5）①         前提引入
　　②      ①EG
　　（6）①      前提引入
　　②      前提引入
　　③          ①EI
　　④                ③化简
　　⑤          ②EI
　　⑥                ⑤化简
　　⑦          ④⑥合取