1、“当和仅当”是充分必要条件假言判断的逻辑连接词，数理逻辑中表示为“↔”，读作“等值”。表示的逻辑关系为p是q充分必要条件，即有前件必有后件，无前件必无后件；有后件必有前件，无后件必无前件。比如“当且仅当他来，我才去。”

2、充分条件表示的逻辑关系为p是q充分条件，数理逻辑中用“→”表示，读作“蕴涵”。即有前件必有后件，无前件不一定无后件；无后件必无前件，有后件不一定有前件。比如“如果一个人骄傲自满，那么他就会落后。”

3、必要条件表示的逻辑关系为p是q必要条件，数理逻辑中用“←”表示，读作“反蕴涵”。即无前件必无后件，有前件不一定有后件；有后件必有前件，无后件不一定无前件。比如“只有认识到错误，才能改正错误。”