- 1、谓词逻辑：也叫谓词演算，它研究简单命题的内部结构。
- 2、谓词演算与程序语义。
- 3、使用谓词演算来进行知识的表示和推理，能代表实际应用中的许多问题。
- 4、在谓词演算中，有时将原子公式简称为原子。
- 5、这就是一个一阶谓词演算不可表述的属性。
- 6、谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。
- 7、本文借助中介逻辑谓词演算系统，对不完全信息系统的理论和应用进行了研究。
- 8、之后，美籍逻辑学家歌德尔一阶谓词演算的完备性定理，这标志着现代逻辑基础部分的完成。
- 9、在谓词演算的反驳树中，被证明的合式公式。
- 10、讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。
- 11、使用谓词演算来进行知识的表示和推理，能代表实际应用中的许多问题。
- 12、谓词逻辑：也叫谓词演算，它研究简单命题的内部结构。
- 13、谓词演算与程序语义。
- 14、这种情况下的断言似乎就需要实现特定的语言扩展，于是一些人建议引入一阶谓词演算。
- 15、本文以关系知识模型为基础，用谓词演算和关系演算描述了一个知识库管理系统。
- 16、这就是一个一阶谓词演算不可表述的属性。
- 17、从而形成了模糊谓词演算一种新的语构与语义体系。
- 18、谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。
- 19、之后，美籍逻辑学家歌德尔一阶谓词演算的完备性定理，这标志着现代逻辑基础部分的完成。
- 20、讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。
- 谓读音：wèi
(1)（动）说：所～。
(2)（动）称呼；叫做：称～。
- 词读音：cí
(1)（名）语言中最小的有意义的能自由运用的单位：～语。
(2)（名）说话或诗歌、戏剧、文章中的语句：歌～。
(3)（名）一种长短句押韵的诗体；由五、七言诗和民歌发展而成。形成于唐代；盛行于宋代。
- 演读音：yǎn
(1)（动）演变；演化：～进。
(2)（动）发挥：～说｜～绎。
(3)（动）依照程式（练习或计算）：～练｜～算。
(4)（动）当众表演技艺：～剧｜表～。
- 算读音：suàn
(1)（动）计算数目。
(2)（动）计算进去：～题。
(3)（动）谋划；计划：～计｜失～。
(4)（动）推测：我～他今天该考试了。
(5)（动）认做；当做：～我的。
(6)（名）算数；承认有效力：我们中国人说话是～数的。
(7)（动）作罢；不计较：～了吧。
(8)（副）总算：最后～弄懂了。