e/Monadic predicate calculus

Information
has gloss	eng: In logic, the monadic predicate calculus is the fragment of predicate calculus in which all predicate letters are monadic (that is, they take only one argument), and there are no function letters. All atomic formulae have the form P(x), where P is a predicate letter and x is a variable.
lexicalization	eng: monadic predicate calculus
instance of	c/Logical calculi

Meaning
Chinese
has gloss	zho: 在逻辑中，一元谓词演算是所有谓词字母都是一元（就是只接受一个参数）并且没有函数字母的谓词演算。所有原子公式都有形式 P(x)，这里的 P 是谓词字母而 x 是变量。
lexicalization	zho: 一元谓词演算