[数]?命题演算
... 命题推演 propositional inference 命题演算 calculus of propositions 命题有限序列 prosequence ...
经典命题演算
英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。