当且仅当if and only ififf),在逻辑中,逻辑算符反互斥或Exclusive NOR)是对两个运算元的一种逻辑分析类型,符号为XNORENOR。与一般的逻辑或非NOR不同,当两两数值相同是,而值不同时为否。在数学哲学逻辑学以及其他一些技术性领域中被用来表示“在这个条件成立,并且仅在这个条件成立时”之意。命题满足“”且“仅当”时,称为“当且仅当”,其他等价的说法有“当且仅当[ 1]”;“充分必要条件(充要件)”;“等价”。

Quick facts: “当且仅当”的各地常用别名, 中国大陆, 台湾, 港澳...
当且仅当的各地常用
中国大
台湾
港澳
Close
↔⇔≡
当且仅当的逻辑符号

一般而言,看到“当且仅当”,我可以知道“如果成立一定成立;如果成立也一定成立”;“如果不成立一定不成立;如果不成立也一定不成立”。