产生式的基本形式是什么？它与谓词逻辑中的蕴涵式有什么共同处及不同处？

相对过剩人口产生的条件是什么？相对过剩人口有哪些基本形式？

谓词逻辑和命题逻辑的关系如何？有何异同？

一阶逻辑是指在命题逻辑的基础之上引入存在量词和（)的一种逻辑。A 前提B 条件C 全称量词D 谓词

逻辑模型是面向数据库系统的模型 下面属于逻辑模型的是().A.关系模型B.谓词模型C.物理模型D.实体

关系演算的基础是(28)。A.形式逻辑中的逻辑演算B.形式逻辑中的关系演算C.数理逻辑中的谓词演算D.

逻辑模型是面冋数据库系统的模型 下面属于逻辑模型的是A)关系模型B)谓词模型C)物理模型D)实体