“命题逻辑推理”的概念、定义、翻译、参考文献-科学参考

单词	命题逻辑推理
释义	命题逻辑推理 Encyclopedia 理学知识表示释 propositional calculus命题逻辑推理一个形式系统，有着可以由以逻辑运算符结合原子命题来构成代表“命题”的公式，以及允许某些公式建构成“定理”的一套形式“证明规则”。
随便看	巴拉班，J. 巴拉瑙斯卡斯，A. 巴拉甘，L. 巴拉第巴拉绍夫，D.M. 巴拉腊特巴拉草巴拉蒂，C. 巴拉诺夫网渔具模型风洞试验准则巴拉赫，E. 巴拉迪巴拉那巴拉那州巴拉那河巴拉那河水电开发巴拉，G. 巴拿巴会巴拿赫巴拿赫不动点定理巴拿赫-乌拉姆定理巴拿赫*代数巴拿赫代数巴拿赫代数K群巴拿赫代数元巴拿赫代数的根

科学参考收录了854744条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。