當且僅當
if and only if / 維基百科,自由的 encyclopedia
當且僅當(英語:if and only if,iff),在數位邏輯中,邏輯算符反互斥或閘(英語:Exclusive NOR)是對兩個運算元的一種邏輯分析類型,符號為XNOR或ENOR或。與一般的邏輯或非NOR不同,當兩兩數值相同為是,而數值不同時為否。在數學、哲學、邏輯學以及其他一些技術性領域中被用來表示「在這個條件成立,並且僅在這個條件成立時」之意。若命題滿足「若則」且「僅當則」時,稱為「當且僅當則」,其他等價的說法有「當且僅當[註 1]」;「是的充分必要條件(充要條件)」;「等價於」。
此條目需要補充更多來源。 (2020年9月19日) |
Quick Facts 「當且僅當」的各地常用名稱, 中國大陸 ...
「當且僅當」的各地常用名稱 | |
---|---|
中國大陸 | 當且僅當 |
臺灣 | 若且唯若 |
港澳 | 當且僅當 |
Close
↔⇔≡
當且僅當的邏輯符號
當且僅當的邏輯符號
一般而言,當我們看到「當且僅當則」,我們可以知道「如果成立時,則一定成立;如果成立時,則也一定成立」;「如果不成立時,則一定不成立;如果不成立時,則也一定不成立」。