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

词条	一阶谓词演算
类别	中文百科知识
释义	一阶谓词演算一阶谓词逻辑的形式化公理系统。
随便看	660年 661年 661年～680年 662年 663年 664年 665年 666年 667年 667年～742年 668年 669年 6.6 名人健美术 6.6 妊娠病理 66年 670年 671年 673年 674年 675年 676年 678年 679年 6.7 妊娠合并症 6.7 营养与健美

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