英语词汇“Monadic logic”是什么意思，翻译、用法及简单造句-英汉双解词典-英汉网

单词	Monadic logic
释义	Monadic logic 中文百科一元谓词演算 Monadic predicate calculus （重定向自Monadic logic）在逻辑中，一元谓词演算是所有谓词字母都是一元（就是只接受一个参数）并且没有函数字母的谓词演算。所有原子公式都有形式 $P(x)$ ，这里的 $P$ 是谓词字母而 $x$ 是变量。英语百科 Monadic predicate calculus 一元谓词演算（重定向自Monadic logic） In logic, the monadic predicate calculus (also called monadic first-order logic) is the fragment of first-order logic in which all relation symbols in the signature are monadic (that is, they take only one argument), and there are no function symbols. All atomic formulas are thus of the form $P(x)$ , where $P$ is a relation symbol and $x$ is a variable.
随便看	NeXT Step的意思 NeXTSTEP的意思 nextsteps的意思 next steps的意思 Next Steps in Signaling的意思 next stop的意思 next succeeding term的意思 Next Sunday的意思 next synchronous pulse的意思 next that的意思 next the heart的意思 Next Thing的意思 next time的意思 next to的意思 next to axis的意思 next to impossible的意思 nextto last的意思 next to last的意思 Next To Me的意思 next to none的意思 next to nothing的意思 Next to No Time的意思 next to oxygen的意思 next to the last的意思 next to the lowest的意思

英汉网英语在线翻译词典收录了3779314条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。

Monadic logic