短语词组短语classical sentential calculus 经典语句演算Sentential Calculus Semantics 句子微分语义学sentential calculus detail 语句演算Sentential Calculus Introduction 句子微分入门 返回 sentential calculus