习题一参考答案：.doc

习题一参考答案： 1.1设计一阶语言的字母表，使它们能够分别描述。 (1) 自然数N的个体0，后继函数，小于等于关系。 L = {(，S，0}，(是二元谓词，S是一元函数词，0是常量。 (2) 实数R的个体0和1，加法和乘法函数，小于等于关系，有理数。 L = {(，Q，+，*，0，1}，(是二元，Q是一元谓词，+和*都是二元函数词，0和1都是常量。 (3) “矛盾”故事（韩非子寓言）中关于矛和盾的两句“自相矛盾”的话。 L = {S，R，Q，a，b}，S是二元谓词，R和Q都是二元谓词，a和b都是常量。 (4) 人的集合中关于教师、学生和学生喜欢教师。 L = { S，R，Q}，S是二元谓词，R和Q都是二元谓词。 1.2 考虑语言L1st。判断以下符号串是否是项，如果是项，请用树形图分析它们的构造过程： (1) f21f01c1 f21f01c1 ↓ f01c1 c1 (2) f03 f31x0 f22x0c1 不是。 (3) f13f12c1f22x2c3x0c1 f13f12c1f22x2c3x0c1 ↓ f12c1f22x2c3 x0 c1 c1 f22x2c3 x2 c3 (4) f32 f31x0 f25x0x4x5c2c2 f32 f31x0 f25x0x4x5c2c2 f31x0 f25x0x4x5c