第13页 第一章 代数学的经典课题

抽象模型。
论断 A 成立的充分必要条件是论断 B 成立，这表明：“论断A成立”和“论断B成立”是互相等价的，是同一事物（或同一现象等等）用不同的形式表达出来。科学的一个重要任务，就是揭示以不同形式出现的事物之间在本质上的联系或共同点。因此，证明两个论断之间的等价性就是数学的重要课题之一。这就是“充分必要条件”这个术语在数学中出现的频率很高的原因。