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