教学课件第六章逻辑式程序设计语言

- 6.1谓词演算 - 谓词演算是符号化事实的形式逻辑系统，它也是逻辑程序设计语言的模型 谓词演算诸元素