predicate logic的用法和樣例：
例句
- Also, first-order predicate calculus isn't good enough anyway.
同時(shí)，從各方面來(lái)說(shuō)，一階謂詞演算都不是足夠好。 - In two-valued predicate logic a class of special interpretations of first language with nonempty finite domains is introduced.
摘要在二值謂詞邏輯中引入了一階語(yǔ)言的一類(lèi)特殊解釋?zhuān)擃?lèi)解釋中的解釋域取為非空有限集。
