?一元谓词运算
... 一元的 monadic 一元谓词运算 monadic predicate calculus 首一方程 monic equation ...
?一元谓词逻辑
一元谓词逻辑 monadic predicate calculus 述词逻辑 [谓词逻辑 predicate logic ..
?一元逻辑
... 三元逻辑 tertiary logic 一元逻辑 monadic logic; monadic predicate calculus 单元逻辑网络 unit logical network ...
英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。