predicate calculus logic

基本解釋

Predicate Calculus language of the traditional semantic component of the mathematical logic of a very rich branch.
謂詞縯算語(yǔ)言的傳統(tǒng)的語(yǔ)義組成了數(shù)理邏輯的一個(gè)很豐富的分支。
In this paper, a conditional predicate calculus logic was proposed for representing and reasoning about PKI trust model.
本文提出了一種用條件謂詞邏輯來(lái)表示和推理PKI信任關(guān)系的方法。
After this, American Logician Kurt Godel proved the completeness theory of predicate calculus. This means the completion of the base of Modern Logic.
之後，美籍邏輯學(xué)家歌德?tīng)栆粓曛^詞縯算的完備性定理，這標(biāo)志著現(xiàn)代邏輯基礎(chǔ)部分的完成。