网站首页 词典首页
This paper works on propositional logic system in Computer Logic.
本论文研究了计算机数理逻辑中的命题演算部分内容.
互联网
First order logic is a most important concept in the field of propositional logic.
而一阶谓词逻辑化为其前束范式是命题演算的重要步骤.
命题逻辑???
英汉双解词典包含4367426条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。