网站首页 词典首页
数理逻辑中，在规定不考虑由量词构成的部分公式（不论其复杂程度）的真假情况下，仅由命题连接词的性质确定为永真的公式。
英汉词典共收录311570条英汉翻译词条，基本覆盖所有常用英文单词的例句及中文翻译，是不可多得的英语学习材料。