基本解釋

• 命題演算

詞組短語(yǔ)

短語(yǔ)

• classical sentential calculus 經(jīng)典語(yǔ)句演算
• Sentential Calculus Semantics 句子微分語(yǔ)義學(xué)
• sentential calculus detail 語(yǔ)句演算
• Sentential Calculus Introduction 句子微分入門(mén)

• sentential calculus更多詞組

英英字典

柯林斯英英字典

• the formal theory the intended interpretation of which concerns the logical relations between sentences treated only as a whole and without regard to their internal structure

• sentential calculus劍橋字典
• sentential calculus柯林斯字典

專(zhuān)業(yè)釋義

數(shù)學(xué)

• 命題演算

計(jì)算機(jī)科學(xué)技術(shù)

• 句演算