“命题演算”的概念、定义、翻译、参考文献-科学参考

单词	命题演算
释义	命题演算 Mathematics ＞数理逻辑与数学基础＞模型论＞释义 propositional calculus命题演算[系统] calculus of propositions命题演算 propositional calculus命题演算又称“命题逻辑”^† sentential calculus命题演算，语句演算 Computer 理论计算机科学程序理论释文 propositional calculus命题演算
随便看	joystick joyswitch Jozef Gregor Tajovský Jozef Ignacy Kraszewski Jozeg Gregor Tajovsky Jozsef Eotvos JP JPALS J-PARC JPARKBENCH JPEG extended range standard JPEG-LS标准 JPEG standard JPEG XR标准 JPEG标准 JPEG格式 J. Pell J. Pell (1611—1685) J. P. Gram J. P. Gram (1850—1916) J. P. Joule J. P. Joule, 1818—1889 JPL J. Playfair J. Playfair (1748—1819)

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