第1题：
A.严密性
B.自然性
C.通用性
D.以上都对
第2题：
关系演算的基础是(28)。
A．形式逻辑中的逻辑演算
B．形式逻辑中的关系演算
C．数理逻辑中的谓词演算
D．数理逻辑中的形式演算
第3题：
逻辑模型是面向数据库系统的模型，下面属于逻辑模型的是().
A.关系模型
B.谓词模型
C.物理模型
D.实体一联系模型
第4题：
经典命题逻辑和谓词逻辑的语义解释只有两个：真和假，0和1
第5题：
谓词逻辑是一种表达能力很强的形式语言，其真值的特点和命题逻辑的区别是（）
第6题：
A.谓词逻辑
B.限制逻辑
C.删除逻辑
D.线性输入
第7题：
逻辑模型是面冋数据库系统的模型,下面属于逻辑模型的是
A)关系模型
B)谓词模型
C)物理模型
D)实体联系模型
第8题：
答案：研究对象：个体词，谓词，量词，命题符号化
第9题：
谓词逻辑
第10题：
谓词逻辑的基本组成部分是（）和常量符号，并用圆括弧、方括弧、花括弧和逗号隔开，以表示论域内的关系。