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