'S 3.3Tuple and Domain Relation Calculus 元组和域关系演算 D 71
71 §3.3Tuple and Domain Relation Calculus 元组和域关系演算
、Review 1、命题： 可以分辨真假的语句叫命题。 只有陈述句才可以分辨真假。 原子命题和复合命题 命题连接词： 入一并且 一一非 v一或 ←>一等价 →一蕴含，（如果.则）》 ·原子命题、复合命题都是命题。 由上述通过连接词所结构的字符串仍题
72 一、Review 1、命题： 可以分辨真假的语句叫命题。 只有陈述句才可以分辨真假。 原子命题和复合命题 命题连接词： —并且 —非 —或 —等价 → —蕴含,（如果…则...） • 原子命题、复合命题都是命题。 • 由上述通过连接词所结构的字符串仍为命题
2、命题变元与命题公式 一个没有赋予具体内容的 命题叫命题变元，对它可作 如下定义： 以真假为其变域的变元叫命题变元 可简称为命题，或命题函数。 如：X是大学生， X用李华或张强代入，均能得出相应具 体命题。 73
73 • 2、命题变元与命题公式 • 一个没有赋予具体内容的 • 命题叫命题变元，对它可作 • 如下定义： • 以真假为其变域的变元叫命题变元。 可简称为命题，或命题函数。 • 如：X是大学生， • X用李华或张强代入，均能得出相应具 体命题
3、谓词演算： 在谓词演算中，将原子命题分 解为谓词和个体两个部分，例： ·李中一个体， 是大学生一谓词： 元谓词：只与一个个体联系，说 谓词 明个体性质，如上例。 多元谓词：谓词与多个具有一定次 序的个体联系，说明诸 个体间的关系。 74
74 3、谓词演算： 在谓词演算中，将原子命题分 解为谓词和个体两个部分，例： • 李中 ——个体， • 是大学生——谓词； • 一元谓词：只与一个个体联系，说 • 谓词 明个体性质，如上例。 • 多元谓词：谓词与多个具有一定次 • 序的个体联系，说明诸 • 个体间的关系
般用大写字母表示谓词， 如F,G,H等， 般用小写字母表示个体， 如a,b,c等。 如：F(a),可表示a是大学生， 就是一个 命题变元。又如F(b),若a表示李中，b表 示李华，则： F (a)AF (b) 表示李中是大学生并且李华也是大学生。 75
75 • 一般用大写字母表示谓词， 如F，G，H等， • 一般用小写字母表示个体， 如a，b，c等。 • 如：F（a），可表示a是大学生，就是一个 命题变元。又如F（b），若a表示李中，b表 示李华，则： F（a） F（b） 表示李中是大学生并且李华也是大学生