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