两个联系紧密的数学陈述或逻辑陈述之间的关系：如果并且只有乙为真时，甲才为真。例如，“甲大于乙”与“乙小于甲”等价。
科学时代收录了46211条科普词条，基本涵盖了常见科普常识及英语词汇的翻译，是科学学习和研究的有利工具。