由A推出B，A是B的充分条件。由B推出A，A是B的必要条件。两者同时互推，A与B互为充要条件。至于衍生的推理公式，你先把基本的搞懂了，再问我吧，我是形式逻辑的大师，基本的你学会了，看你的钻研精神，你就可以当侦探，当科学家了。
供参考。
