第 2 章习题解答2.1 本题没有给出个体域 , 因而使用全总个体域 . (1) 令xxF:)(是鸟xxG:)(会飞翔 . 命题符号化为))()((xGxFx. (2) 令xxF:)(为人. xxG:)(爱吃糖命题符号化为))()((xGxFx或者))()((xGxFx(3) 令xxF:)(为人. xxG:)(爱看小说 . 命题符号化为))()((xGxFx. (4) xxF:)(为人 . xxG:)(爱看电视 . 命题符号化为))()((xGxFx. 分析 1 ° 如果没指出要求什么样的个体域，就使用全总个休域， 使用全总个体域时，往往要使用特性谓词。 （1）- （4）中的)(xF都是特性谓词。2°初学者经常犯的错误是，将类似于（1）中的命题符号化为))()((xGxFx即用合取联结词取代蕴含联结词，这是万万不可的。将（1）中命题叙述得更透彻些，是说“对于宇宙间的一切事物百言，如果它是鸟，则它会飞翔。”因而符号化应该使用联结词→而不能使用。若使用，使（1）中命题变成了 “宇宙间的一切事物都是鸟并且都会飞翔。 ”这显然改变了原命题的意义。3°（2）与（4）中两种符号化公式是等值的，请读者正确的使用量词否定等值式，证明（ 2），（4）中两公式各为等值的。2.2 (1)d (a),(b),(c)中均符号化为)(xxF其中,12)1(:)(22xxxxF此命题在)(),(),(cba中均为真命题。（2） 在)(),(),(cba中均符号化为)(xxG其中02:)(xxG，此命题在（ a）中为假命题，在 (b)(c)中均为真命题。（3）在)(),(),(cba中均符号化为)(xxH其中.15:)(xxH此命题在)(),(ba中均为假命题，在 (c) 中为真命题。分析 1 ° 命题的真值与个体域有关。2°有的命题在不同个体域中，符号化的形式不同，考虑命题“人都呼吸”。在个体域为人类集合时，应符号化为)(xxF这里，xxF:)(呼吸，没有引入特性谓词。在个体域为全总个体域时，应符号化为))()((xGxFx这里，xxF:)(为人，且)(xF为特性谓词。xxG:)(呼吸。2．3 因题目中未给出个体域，因而应采用全总个体域。（1） 令：xxF:)(是大学生，xxG:)(是文科生，xxH:)(是理科生，命题符号化为))()(()((xHxGxFx（2）令xxF:)(是人，yyG:)(是化，xxH:)(喜欢，命题符号化为))),()(()((yxHyGyxFx（3）令xxF:)(是人，xxG:)(犯错误，命题符号化为)),()((xGxFx或另一种等值的形式为)()((xGxFx（4）令xxF:)(在北京工作，xxG:)(是北京人，命题符号化为)),()((xGxFx或)),()((xGxFx（5）令xxF:)(是金属，yyG:)(是液体，xyxH:),(溶解在 y 中，命题符号化为))).,()(()((yxHyGyxFx（6）令xxF:)(与 y 是对顶角，xyxH:),(与 y 相等，命题...
