predicate calculus

基本解釋

This kind of assertion seems previou assert order to require special language extensions and has led people to suggest introducing first-order predicate calculus.
這種情況下的斷言似乎似乎這種原地就需要實(shí)現(xiàn)特定的語(yǔ)言擴(kuò)展，于是一些人建議引入一階謂引入一些實(shí)現(xiàn)詞演算。
Informally, XQuery is designed to be able to construct any XML document that can be computed from input XML documents using the power of the first-order predicate calculus.
XQuery 被非正式地設(shè)計(jì)為可以構(gòu)造 XML 文檔，而這些 XML 文檔是通過(guò)對(duì)輸入的 XML 文檔進(jìn)行一階謂詞演算得出的。
This paper investigates the theory and application of incomplete information system by using the medium logic predicate calculus system MFM.
本文借助中介邏輯謂詞演算系統(tǒng)MFM，對(duì)不完全信息系統(tǒng)的理論和應(yīng)用進(jìn)行了研究。

the system of symbolic logic concerned not only with relations between propositions as wholes but also with the representation by symbols of individuals and predicates in propositions and with quantification over individuals (Also called functional calculus)&rarrsee also propositional calculus