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