短语词组短語classical sentential calculus 經典語句縯算Sentential Calculus Semantics 句子微分語義學sentential calculus detail 語句縯算Sentential Calculus Introduction 句子微分入門 返回 sentential calculus