当且仅当
if and only if / 维基百科,自由的 encyclopedia
当且仅当(英语:if and only if,iff),在数位逻辑中,逻辑算符反互斥或闸(英语:Exclusive NOR)是对两个运算元的一种逻辑分析类型,符号为XNOR或ENOR或。与一般的逻辑或非NOR不同,当两两数值相同为是,而数值不同时为否。在数学、哲学、逻辑学以及其他一些技术性领域中被用来表示“在这个条件成立,并且仅在这个条件成立时”之意。当命题满足“当则”且“仅当则”时,称为“当且仅当则”,其他等价的说法有“当且仅当[注 1]”;“是的充分必要条件(充要条件)”;“等价于”。
此条目需要补充更多来源。 (2020年9月19日) |
Quick Facts “当且仅当”的各地常用名称, 中国大陆 ...
“当且仅当”的各地常用名称 | |
---|---|
中国大陆 | 当且仅当 |
台湾 | 若且唯若 |
港澳 | 当且仅当 |
Close
↔⇔≡
当且仅当的逻辑符号
当且仅当的逻辑符号
一般而言,当我们看到“当且仅当则”,我们可以知道“如果成立时,则一定成立;如果成立时,则也一定成立”;“如果不成立时,则一定不成立;如果不成立时,则也一定不成立”。