网站首页 词典首页
数理逻辑的基本组成部分。亦称句子演算。命题演算取简单的、未分析的命题，而且仅处理不含变项的命题。它把简单命题当作可取得真值或假值的整体，研究由简单命题构成的复合命题的逻辑形式以及它们之间的逻辑推理关系。
英汉词典共收录311570条英汉翻译词条，基本覆盖所有常用英文单词的例句及中文翻译，是不可多得的英语学习材料。