充分必要条件假言判断的逻辑形式
我们用p表示前件，用q表示后件，充分必要条件假言判断的逻辑形式可以表示为：当且仅当p，才q，即：p←→q。“←→”意为“等值于”，读做p等值于q。其中，作为前后件的p、q是逻辑变项，假言联结词“当且仅当”为逻辑常项。
需要说明的是，“当且仅当”来自数学语言，现代汉语中并没有与之完全对等的一个词。因此只能用诸如“只要……则……，并且只有……，才……”“只有并且仅有……才……”“如果……那么……，并且如果不……那么就不……”之类的词项来充当假言联结词。
有一则流传甚广的关于佛印和苏东坡的故事：
一次，苏东坡和佛印骑马而游。
佛印对苏东坡说：“你骑马姿势端庄，好像一尊佛。”
苏东坡却故意调笑：“你身披黑色袈裟，好像一坨粪。”
佛印笑而不答，东坡自以为得计，很是高兴。回家后向妹妹说起此事，苏小妹叹道：“哥哥你着相啦！如果你心中有佛，那么你眼中就有佛。如果你心中无佛，那么你眼中就无佛；如果你心中有粪，那么你眼中就有粪。如果你心中无粪，那么你眼中就无粪。”苏东坡听后大惭。
这则故事中，有两个充分必要条件假言判断：
（1）如果你心中有佛，那么你眼中就有佛。如果你心中无佛，那么你眼中就无佛。
（2）如果你心中有粪，那么你眼中就有粪。如果你心中无粪，那么你眼中就无粪。
判断（1）断定若“心中有佛”，则“眼中有佛”，若“心中无佛”，则“眼中无佛”，也就是说“心中有佛”是“眼中有佛”的充分必要条件；判断（2）断定若“心中有粪”，则“眼中有粪”，若“心中无粪”，则“眼中无粪”，那么，“心中有粪”也就是“眼中有粪”的充分必要条件。
在这两个充分必要条件假言判断中运用的假言联结词实际上就是“如果……那么……，如果不……那么就不……”。
