?命题变元
... 复合命题 sentential combination 命题变元；语句变元 sentential variable 可分性；可列分性 separability ...
?语句变元
?语句变数
... sentential calculus 语句演算 sentential variable 语句变数 pragmatic presupposition 语用上的预设 ...
英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。