正在加载图片...
21谓词逻辑的基本概念与表示 例2-2:符号化如下命题 P:上海是一个现代化城市; Q:甲是乙的父亲; R:3介于2和5之间; T:布什和萨达姆是同班同学。 注意: (1)谓词中个体词的顺序是十分重要的,不能随意变 更。如F(b,c)与F(c,b)的真值就可能不同; (2)-元谓词用以描述一个个体的某种特性,而n元 谓词则用以描述n个个体之间的关系; 108410/84 2.1 谓词逻辑的基本概念与表示 •例2-2:符号化如下命题。 P:上海是一个现代化城市; Q:甲是乙的父亲; R:3介于2和5之间; T:布什和萨达姆是同班同学。 •注意: (1).谓词中个体词的顺序是十分重要的,不能随意变 更。如F (b, c)与F (c, b)的真值就可能不同; (2).一元谓词用以描述一个个体的某种特性,而n元 谓词则用以描述n个个体之间的关系;
<<向上翻页向下翻页>>
©2008-现在 cucdc.com 高等教育资讯网 版权所有