网站首页 英语词典
General deduction and strong completeness of the formal deductive system L? are further studied.
进一步讨论了形式系统L? 中的一般演绎推理及强完备性问题.
互联网
The corresponding version in fuzzy logic of the natural deductive system of classical logic is discussed.
讨论了经典逻辑的自然演绎系统在模糊逻辑中的对应形式.
国先网英语在线翻译词典收录了4367410条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。