如何理解逻辑中的充分必要条件

A可以推导出B，这是B and B的充分条件，是A的必要条件..

A可以引入B，B也可以引入A，A和B互为充要条件。

A能推出B，B不能推出A，A是B的充要条件。