→ 比如：p→q↔ 比如：p↔q（就是关于或且非那章的）

→ P是Q的充分不必要条件 即P可以推出Q,Q不可以推出P← P是Q得必要不充分条件 即Q可以推出P,P不可以推出Q↔ P是Q得充要条件 即P可以推出Q,Q也可以推出P