一阶谓词逻辑可以使用的连接词有（）、（）、（）和（）

[单选题]科技创新是提高社会生产力和综合国力的战略支撑，必须摆在国家发展全局的核心位置；要坚持走中国特色自主创新道路，以全球视野谋划和推动创新，提高原始创新、集成创新和引进消化吸收再创新能力，更加注重（　　）。

[多选题]患者，女，60岁。1个月前常规体检时发现骶尾部肿物，伴有溶骨性破坏，大、小便习惯未见明显改变。骶尾部局部轻度叩击痛，局部可见轻度隆起。余无异常。影像学提示：S以下骨质破坏，主要向骶骨前方形成软组织包块。为明确诊断，还需进一步进行的相关检查有（）

[问答题]学校管理过程中常见的弊端有哪些？

[填空题]检修发电机、同期调相机和高压电动机应填用_____。

[单选题]“民族团结盟誓碑”现存于（）。

[单选题]与全冠咬面形态设计无关的因素是（　　）。

[判断题]在相同条件下，不同沥青的针入度愈大表示沥青越软。

[单选题]在工程监理单位派到施工现场的机构中，合同信息部的职责不包括哪项（）。

[单选题]关于滤线栅特性的叙述，错误的是（　　）。

[单选题]下列哪种是霍奇金病的最有诊断意义的细胞（）

[填空题]一阶谓词逻辑可以使用的连接词有（）、（）、（）和（）

[名词解释题]谓词逻辑

[问答题]一阶谓词逻辑表示法适于表示什么类型的知识？它有何特点？

[问答题]命题逻辑的归结法与谓词逻辑的归结法的不同之处是什么？

[填空题]谓词逻辑中，重言式（tautlogy）的值是（）。

[单选题]一阶逻辑即是指（）。

[问答题]用谓词逻辑形式化下列描述：　　“不存在最大的整数”

[问答题]产生式的基本形式是什么？它与谓词逻辑中的蕴含式有什么共同处及不同处？

[多选题]谓词逻辑的基本组成部分是（）和常量符号，并用圆括弧、方括弧、花括弧和逗号隔开，以表示论域内的关系。

[填空题]布尔逻辑算符：逻辑“与”：（）。 逻辑“或”：（）。逻辑“非”：（）。