monadic predicate calculus

网络释义

1.	一元谓词演算如果只考虑「一元谓词演算」(Monadic Predicate Calculus)，即所有「谓词变项」皆为「一元谓词变项」的「谓词演算」系统… chowkafat.net

随便看

英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。