第1题：
A.谓词逻辑
B.限制逻辑
C.删除逻辑
D.线性输入
第2题：
谓词逻辑
第3题：
10 】结构化分析方法具有某些特点，以下不属于其特点的是（ ）
A ．需要书写大量文档
B ．强调分析数据流
C ．有很强的人机界面表达能力
D ．需要早期冻结需求
第4题：
命题逻辑的归结法与谓词逻辑的归结法的不同之处是什么？
第5题：
经典命题逻辑和谓词逻辑的语义解释只有两个：真和假，0和1
第6题：
谓词逻辑是一种表达能力很强的形式语言，其真值的特点和命题逻辑的区别是（）
第7题：
对照真值表，说明正逻辑与门和负逻辑或门的功能是相同的。
第8题：
答案：研究对象：个体词，谓词，量词，命题符号化
第9题：
谓词逻辑的基本组成部分是（）和常量符号，并用圆括弧、方括弧、花括弧和逗号隔开，以表示论域内的关系。
第10题：
一阶谓词逻辑可以使用的连接词有（）、（）、（）和（）