[数]?命题演算
... sentence 命题 sentential calculus 命题演算 sentential connective 命题联结词 ...
?语句演算
... 命题演算；语句演算 sentential calculus 复合命题 sentential combination 命题变元；语句变元 sentential variable ...
?句子演算
sentential calculus 句子演算; 命题演算; 语句演算..
经典语句演算
语句演算
句子微分语义学
英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。