“一阶谓词演算”的意思、由来及中英文翻译是什么-中文百科知识-开放百科全书

词条	一阶谓词演算
类别	中文百科知识
释义	一阶谓词演算一阶谓词逻辑的形式化公理系统。
随便看	三、巴彦淖尔、阿拉善旅游区三、市场功能与效应三、市水利局所属企事业单位三、市（地）属农业科研机构三、常州旅游区三、平度市三、幼儿教育三、广东成人高等农业教育三、广播电视事业三、庐山风景名胜区三、应用与开发研究三、应用研究三、建立乡镇法律服务所，为农村经济建设提供法律服务三、建立新型的商品流通组织形式三、建设优质高产高效农业三、建设农业社会化服务体系，发展农业产业化经营三、建设基地，发展主导产业三、建设成就三、建设标准化示范县三、建设重点三、建设防灾保畜基地，提高抗御自然灾害的能力三、建设高产优质高效农业三、开发成效三、开发水果生产三、开发的措施

开放百科全书收录579518条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。